Double click to show/hide
0: main
14: ERC1155Action.safeBatchTransferFrom
21: FreeCollateralExternal.checkFreeCollateralAndRevert
22: FreeCollateralExternal.checkFreeCollateralAndRevert
23: SettleAssetsExternal.settleAssetsAndReturnPortfolio
24: SettleAssetsExternal.settleAssetsAndReturnPortfolio
25: SettleAssetsExternal.settleAssetsAndFinalize
26: SettleAssetsExternal.settleAssetsAndFinalize
PresimplifiedRule-accountContextMustBeReadAndWrittenExactlyOnce-safeBatchTransferFrom(address,address,uint256[],uint256[],bytes)_main 0_0_0_0_0_0_0_0 0_0_0_0_0_0_0_0 14: ERC1155Action.safeBatchTransferFrom 14: ERC1155Action.safeBatchTransferFrom 0_0_0_0_0_0_0_0->14: ERC1155Action.safeBatchTransferFrom 62_0_0_0_0_0_0_0 62_0_0_0_0_0_0_0 14: ERC1155Action.safeBatchTransferFrom->62_0_0_0_0_0_0_0
Block 0_0_0_0_0_0_0_0: f.selector = 0x2eb2c2d6
f.isPure = false
f.isView = false
f.isPayable = false
f.isFallback = false
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=multi contract setup::
currentContract = 0xce4604a000000000000000000000002a
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=rule parameters setup::
account = havoc
certoraTmpBool = (0x0<=account)&&(account<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=last storage initialize::
lastStorage!ce4604a000000000000000000000002a!0 = tacS!ce4604a000000000000000000000002a
lastStorage!ce4604a000000000000000000000002a!1 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!2 = tacS!ce4604a000000000000000000000002a!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a000000000000000000000002a!3 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000001))
tacTmpreplacement54788 = tacS!ce4604a000000000000000000000002a!6!0
certoraTmpBool = (0x0<=tacTmpreplacement54788)&&(tacTmpreplacement54788<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
lastStorage!ce4604a000000000000000000000002a!4 = tacS!ce4604a000000000000000000000002a!6!0
lastStorage!ce4604a000000000000000000000002a!5 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=10))!0
lastStorage!ce4604a000000000000000000000002a!6 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=11)), offset=0))!0
lastStorage!ce4604a000000000000000000000002a!7 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a000000000000000000000002a!8 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a000000000000000000000002a!9 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=2))
lastStorage!ce4604a000000000000000000000002a!10 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1))
lastStorage!ce4604a000000000000000000000002a!11 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a000000000000000000000002a!12 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!13 = tacS!ce4604a000000000000000000000002a!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a000000000000000000000002a!14 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacTmpreplacement54789 = tacS!ce4604a000000000000000000000002a!5!0
certoraTmpBool = (0x0<=tacTmpreplacement54789)&&(tacTmpreplacement54789<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
lastStorage!ce4604a000000000000000000000002a!15 = tacS!ce4604a000000000000000000000002a!5!0
tacTmpreplacement54790 = tacS!ce4604a000000000000000000000002a!3!0
certoraTmpBool = (0x0<=tacTmpreplacement54790)&&(tacTmpreplacement54790<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
lastStorage!ce4604a000000000000000000000002a!16 = tacS!ce4604a000000000000000000000002a!3!0
lastStorage!ce4604a0000000000000000000000028!0 = tacS!ce4604a0000000000000000000000028
lastStorage!ce4604a0000000000000000000000028!1 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=2))
lastStorage!ce4604a0000000000000000000000028!2 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1))
lastStorage!ce4604a0000000000000000000000028!3 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000028!4 = tacS!ce4604a0000000000000000000000028!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000028!5 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a0000000000000000000000028!6 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000028!7 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!8 = tacS!ce4604a0000000000000000000000028!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a0000000000000000000000028!9 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000001))
lastStorage!ce4604a0000000000000000000000028!10 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!11 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!0 = tacS!ce4604a0000000000000000000000029
lastStorage!ce4604a0000000000000000000000029!1 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000029!2 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000029!3 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000029!4 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!5 = tacS!ce4604a0000000000000000000000029!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000029!6 = tacS!ce4604a0000000000000000000000029!MapAccess(base=Root(slot=2))
lastStorage!tacBalance = tacBalance
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=assumptions about extcodesize::
tacTmpextcodesizeCheck = tacExtcodesize[0xce4604a000000000000000000000002a]>0x0
assume tacTmpextcodesizeCheck
tacTmpextcodesizeCheck = tacExtcodesize[0xce4604a0000000000000000000000028]>0x0
assume tacTmpextcodesizeCheck
tacTmpextcodesizeCheck = tacExtcodesize[0xce4604a0000000000000000000000029]>0x0
assume tacTmpextcodesizeCheck
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=require forall address a. g_readsToAccountContext(a) == 0::
certoraAssume54731 = forall( QVars(a:bv256 bv256) true&&true&&(g_readsToAccountContext:uf(a)==0x0))
assume certoraAssume54731
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=require forall address a1. g_writesToAccountContext(a1) == 0::
certoraAssume54732 = forall( QVars(a1:bv256 bv256) true&&true&&(g_writesToAccountContext:uf(a1)==0x0))
assume certoraAssume54732
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
NOP
NOP
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=f(e,args)::
TRANSIENT::MetaKey(name=call.trace.push, typ=class analysis.icfg.Inliner$CallStack$PushRecord)=PushRecord(callee=MethodRef(contractAddress=274184521717934524641157099916833587242, sigHash=SigHash(2eb2c2d6), attr=COMMON), summary=null, id=14)::
NOP
tacOrigS!ce4604a000000000000000000000002a!505 = tacS!ce4604a000000000000000000000002a
tacOrigS!ce4604a000000000000000000000002a!506 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!507 = tacS!ce4604a000000000000000000000002a!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!508 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000001))
tacOrigS!ce4604a000000000000000000000002a!509 = tacS!ce4604a000000000000000000000002a!6!0
tacOrigS!ce4604a000000000000000000000002a!510 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=10))!0
tacOrigS!ce4604a000000000000000000000002a!511 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=11)), offset=0))!0
tacOrigS!ce4604a000000000000000000000002a!512 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000009))
tacOrigS!ce4604a000000000000000000000002a!513 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!514 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=2))
tacOrigS!ce4604a000000000000000000000002a!515 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1))
tacOrigS!ce4604a000000000000000000000002a!516 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!517 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!518 = tacS!ce4604a000000000000000000000002a!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
tacOrigS!ce4604a000000000000000000000002a!519 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!520 = tacS!ce4604a000000000000000000000002a!5!0
tacOrigS!ce4604a000000000000000000000002a!521 = tacS!ce4604a000000000000000000000002a!3!0
tacOrigS!ce4604a0000000000000000000000028!486 = tacS!ce4604a0000000000000000000000028
tacOrigS!ce4604a0000000000000000000000028!487 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=2))
tacOrigS!ce4604a0000000000000000000000028!488 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1))
tacOrigS!ce4604a0000000000000000000000028!489 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!490 = tacS!ce4604a0000000000000000000000028!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!491 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000009))
tacOrigS!ce4604a0000000000000000000000028!492 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!493 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!494 = tacS!ce4604a0000000000000000000000028!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
tacOrigS!ce4604a0000000000000000000000028!495 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000001))
tacOrigS!ce4604a0000000000000000000000028!496 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!497 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!498 = tacS!ce4604a0000000000000000000000029
tacOrigS!ce4604a0000000000000000000000029!499 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!500 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!501 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!502 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!503 = tacS!ce4604a0000000000000000000000029!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!504 = tacS!ce4604a0000000000000000000000029!MapAccess(base=Root(slot=2))
tacOrigBalance!522 = tacBalance
generic4g_readsToAccountContext = g_readsToAccountContext
generic4g_writesToAccountContext = g_writesToAccountContext
certora_returnSizeMatch14 = true
tacCalldatabuf@14 = args
tacCalldatabuf!4@14 = args!4
tacCalldatabuf!36@14 = args!36
tacCalldatabuf!68@14 = args!68
tacCalldatabuf!100@14 = args!100
tacCalldatabuf!132@14 = args!132
tacCalldatasize@14 = args!size
tacTmpBool = 0xa3s<args!size
assume tacTmpBool
lastHasThrown = false
tacCaller@14 = e.msg.sender
certoraTmpBool = (0x0<=tacCaller@14)&&(tacCaller@14<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
tacCallvalue@14 = e.msg.value
certoraTmpBool = tacAddress@14==e.msg.address
assume certoraTmpBool
certoraTmpBool = (0x0<=tacAddress@14)&&(tacAddress@14<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
tacAddress@14 = 0xce4604a000000000000000000000002a
certoraTmp = tacOrigin@14
certoraTmpBool = (0x0<=tacOrigin@14)&&(tacOrigin@14<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
tacNumber@14 = e.block.number
tacTimestamp@14 = e.block.timestamp
NOP
::Invoke f args :14::
goto: 0_0_0_0_14_0_24786_0

Block 62_0_0_0_0_0_0_0: lastStorage!ce4604a000000000000000000000002a!0 = tacS!ce4604a000000000000000000000002a
lastStorage!ce4604a000000000000000000000002a!1 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!2 = tacS!ce4604a000000000000000000000002a!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a000000000000000000000002a!3 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000001))
lastStorage!ce4604a000000000000000000000002a!4 = tacS!ce4604a000000000000000000000002a!6!0
lastStorage!ce4604a000000000000000000000002a!5 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=10))!0
lastStorage!ce4604a000000000000000000000002a!6 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=11)), offset=0))!0
lastStorage!ce4604a000000000000000000000002a!7 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a000000000000000000000002a!8 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a000000000000000000000002a!9 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=2))
lastStorage!ce4604a000000000000000000000002a!10 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1))
lastStorage!ce4604a000000000000000000000002a!11 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a000000000000000000000002a!12 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!13 = tacS!ce4604a000000000000000000000002a!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a000000000000000000000002a!14 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a000000000000000000000002a!15 = tacS!ce4604a000000000000000000000002a!5!0
lastStorage!ce4604a000000000000000000000002a!16 = tacS!ce4604a000000000000000000000002a!3!0
lastStorage!ce4604a0000000000000000000000028!0 = tacS!ce4604a0000000000000000000000028
lastStorage!ce4604a0000000000000000000000028!1 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=2))
lastStorage!ce4604a0000000000000000000000028!2 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1))
lastStorage!ce4604a0000000000000000000000028!3 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000028!4 = tacS!ce4604a0000000000000000000000028!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000028!5 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a0000000000000000000000028!6 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000028!7 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!8 = tacS!ce4604a0000000000000000000000028!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a0000000000000000000000028!9 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000001))
lastStorage!ce4604a0000000000000000000000028!10 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!11 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!0 = tacS!ce4604a0000000000000000000000029
lastStorage!ce4604a0000000000000000000000029!1 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000029!2 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000029!3 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000029!4 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!5 = tacS!ce4604a0000000000000000000000029!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000029!6 = tacS!ce4604a0000000000000000000000029!MapAccess(base=Root(slot=2))
lastStorage!tacBalance = tacBalance
lastStorage0g_readsToAccountContext = g_readsToAccountContext
lastStorage0g_writesToAccountContext = g_writesToAccountContext
NOP
assume !false
assume !false
TRANSIENT::MetaKey(name=call.trace.pop, typ=class analysis.icfg.Inliner$CallStack$PopRecord)=PopRecord(id=14)::
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=assert forall address a2. g_readsToAccountContext(a2) == g_writesToAccountContext(a2) && g_readsToAccountContext(a2) <= 1 || g_writesToAccountContext(a2) == 0::
certoraAssert_1 = forall( QVars(a2:bv256 bv256) true&&true&&((true&&true&&true&&true&&(g_readsToAccountContext:uf(a2)==g_writesToAccountContext:uf(a2))&&true&&true&&(g_readsToAccountContext:uf(a2)<=0x1))||(true&&true&&(g_writesToAccountContext:uf(a2)==0x0))))
assert certoraAssert_1,
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::

Block 0_0_0_0_14_0_24786_0: ::14: ERC1155Action.safeBatchTransferFrom::
Edge 0_0_0_0_0_0_0_0 -> 0_0_0_0_14_0_24786_0:
Edge 16793_1000_0_0_14_0_24854_0 -> 62_0_0_0_0_0_0_0:
Previous:
0_0_0_0_14_0_24786_0 <- 0_0_0_0_0_0_0_0
15010_1012_0_0_14_0_25007_0 <- 0_0_0_0_14_0_24786_0
15063_1011_0_0_14_0_24814_0 <- 0_0_0_0_14_0_24786_0
8219_1014_0_0_14_0_24792_0 <- 7932_1014_0_0_14_0_24788_0 , 15074_1011_0_0_14_0_24815_0
15236_1000_0_0_14_0_24819_0 <- 8219_1014_0_0_14_0_24792_0 , 15234_999_0_0_14_0_24818_0
15205_1000_0_0_14_0_24817_0 <- 8219_1014_0_0_14_0_24792_0
11689_1008_1_0_14_0_24801_0 <- 8245_1012_0_0_14_0_24793_0
11681_1008_1_0_14_0_24798_0 <- 8245_1012_0_0_14_0_24793_0
29141_997_0_0_14_0_24867_0 <- 8318_1012_0_0_14_0_24795_0
29158_997_0_0_14_0_24869_0 <- 8318_1012_0_0_14_0_24795_0
11830_996_0_0_14_0_24802_0 <- 11681_996_0_0_14_0_24796_0 , 11689_996_0_0_14_0_24799_0
11830_1008_0_0_14_0_24803_0 <- 11681_1008_0_0_14_0_24797_0 , 11689_1008_0_0_14_0_24800_0
11830_1008_1_0_14_0_24804_0 <- 11681_1008_1_0_14_0_24798_0 , 11689_1008_1_0_14_0_24801_0
16117_999_0_0_14_0_24830_0 <- 11830_996_0_0_14_0_24802_0 , 16052_999_0_0_14_0_25022_0
15074_1011_0_0_14_0_24815_0 <- 11830_1008_0_0_14_0_24803_0 , 15010_1012_0_0_14_0_25007_0
8318_1012_0_0_14_0_24795_0 <- 11830_1008_1_0_14_0_24804_0 , 15541_1001_0_0_14_0_24820_0
11689_1008_0_0_14_0_24800_0 <- 15063_1011_0_0_14_0_24814_0
11681_1008_0_0_14_0_24797_0 <- 15063_1011_0_0_14_0_24814_0
7932_1014_0_0_14_0_24788_0 <- 15074_1011_0_0_14_0_24815_0
15217_998_0_109_14_0_30007_0 <- 15205_1000_0_0_14_0_24817_0
15234_999_0_0_14_0_24818_0 <- 15205_1000_0_0_14_0_24817_0 , 15217_998_0_109_14_0_30007_0
15254_1001_0_41_14_0_29731_0 <- 15236_1000_0_0_14_0_24819_0
15541_1001_0_0_14_0_24820_0 <- 15236_1000_0_0_14_0_24819_0 , 15528_1001_0_41_14_0_29685_0
8245_1012_0_0_14_0_24793_0 <- 15541_1001_0_0_14_0_24820_0
15729_1000_0_0_14_0_24822_0 <- 15706_1000_0_0_14_0_24821_0 , 15691_1002_0_0_14_0_25014_0
15965_1000_0_0_14_0_24827_0 <- 15729_1000_0_0_14_0_24822_0
15959_999_0_0_14_0_25017_0 <- 15729_1000_0_0_14_0_24822_0
15997_999_0_0_14_0_25021_0 <- 15965_1000_0_0_14_0_24827_0
16052_999_0_0_14_0_24828_0 <- 15965_1000_0_0_14_0_24827_0
16106_999_0_0_14_0_24829_0 <- 16052_999_0_0_14_0_24828_0
16052_999_0_0_14_0_25022_0 <- 16052_999_0_0_14_0_24828_0
11689_996_0_0_14_0_24799_0 <- 16106_999_0_0_14_0_24829_0
11681_996_0_0_14_0_24796_0 <- 16106_999_0_0_14_0_24829_0
16118_999_0_0_14_0_24831_0 <- 16117_999_0_0_14_0_24830_0 , 15997_999_0_0_14_0_25021_0
16224_995_0_0_14_0_24834_0 <- 16118_999_0_0_14_0_24831_0
16224_995_0_0_14_0_24835_0 <- 16118_999_0_0_14_0_24831_0
16285_995_0_0_14_0_24837_0 <- 16224_995_0_0_14_0_24833_0
16252_995_0_0_14_0_24836_0 <- 16224_995_0_0_14_0_24833_0
16224_995_0_0_14_0_24833_0 <- 16224_995_0_0_14_0_24834_0 , 16224_995_0_0_14_0_24835_0
16290_995_0_0_14_0_24838_0 <- 16252_995_0_0_14_0_24836_0 , 16285_995_0_0_14_0_24837_0
16362_1000_0_0_14_0_24840_0 <- 16290_995_0_0_14_0_24838_0 , 15959_999_0_0_14_0_25017_0
16417_999_0_0_14_0_24841_0 <- 16362_1000_0_0_14_0_24840_0
16362_1000_0_0_14_0_25018_0 <- 16362_1000_0_0_14_0_24840_0
16464_999_0_0_14_0_24842_0 <- 16417_999_0_0_14_0_24841_0 , 16362_1000_0_0_14_0_25018_0
16470_1000_0_0_14_0_24843_0 <- 16464_999_0_0_14_0_24842_0
16573_1000_0_0_14_0_24846_0 <- 16464_999_0_0_14_0_24842_0 , 1_0_0_0_14_0_25326_0
0_0_0_0_21_0_25023_0 <- 16470_1000_0_0_14_0_24843_0
16630_999_0_0_14_0_25020_0 <- 16573_1000_0_0_14_0_24846_0
16637_999_0_0_14_0_24849_0 <- 16573_1000_0_0_14_0_24846_0
16684_999_0_0_14_0_24850_0 <- 16637_999_0_0_14_0_24849_0 , 16630_999_0_0_14_0_25020_0
16793_1000_0_0_14_0_24854_0 <- 16684_999_0_0_14_0_24850_0 , 2_0_0_0_14_0_25630_0
16690_1000_0_0_14_0_24851_0 <- 16684_999_0_0_14_0_24850_0
0_0_0_0_22_0_25327_0 <- 16690_1000_0_0_14_0_24851_0
62_0_0_0_0_0_0_0 <- 16793_1000_0_0_14_0_24854_0
29172_997_0_0_14_0_24871_0 <- 19443_975_0_0_14_0_24855_0 , 33225_985_0_0_14_0_24920_0
29172_997_1_0_14_0_24872_0 <- 19443_975_1_0_14_0_24856_0 , 33225_985_1_0_14_0_24921_0
28382_971_0_111_14_0_30008_0 <- 28370_973_0_0_14_0_24859_0
28399_972_0_0_14_0_24861_0 <- 28370_973_0_0_14_0_24859_0 , 28382_971_0_111_14_0_30008_0
28382_971_1_117_14_0_30011_0 <- 28370_973_1_0_14_0_24860_0
28399_972_1_0_14_0_24862_0 <- 28370_973_1_0_14_0_24860_0 , 28382_971_1_117_14_0_30011_0
28401_973_0_0_14_0_24863_0 <- 28399_972_0_0_14_0_24861_0 , 32108_985_0_0_14_0_24902_0
28401_973_1_0_14_0_24864_0 <- 28399_972_1_0_14_0_24862_0 , 32108_985_1_0_14_0_24903_0
28508_973_0_81_14_0_29942_0 <- 28401_973_0_0_14_0_24863_0
28719_973_0_0_14_0_24865_0 <- 28401_973_0_0_14_0_24863_0 , 28508_973_0_81_14_0_29942_0
28508_973_1_83_14_0_29948_0 <- 28401_973_1_0_14_0_24864_0
28719_973_1_0_14_0_24866_0 <- 28401_973_1_0_14_0_24864_0 , 28508_973_1_83_14_0_29948_0
32220_983_0_0_14_0_24908_0 <- 28719_973_0_0_14_0_24865_0 , 32218_982_0_0_14_0_24906_0
32189_983_0_0_14_0_24904_0 <- 28719_973_0_0_14_0_24865_0
32220_983_1_0_14_0_24909_0 <- 28719_973_1_0_14_0_24866_0 , 32218_982_1_0_14_0_24907_0
32189_983_1_0_14_0_24905_0 <- 28719_973_1_0_14_0_24866_0
32048_987_0_0_14_0_24892_0 <- 29141_997_0_0_14_0_24867_0
32024_989_0_0_14_0_25010_0 <- 29141_997_0_0_14_0_24867_0
32048_987_1_0_14_0_24893_0 <- 29141_997_1_0_14_0_24868_0
32024_989_1_0_14_0_25013_0 <- 29141_997_1_0_14_0_24868_0
32048_988_0_0_14_0_24894_0 <- 29158_997_0_0_14_0_24869_0
32024_990_0_0_14_0_25008_0 <- 29158_997_0_0_14_0_24869_0
32048_988_1_0_14_0_24895_0 <- 29158_997_1_0_14_0_24870_0
32024_990_1_0_14_0_25011_0 <- 29158_997_1_0_14_0_24870_0
29192_999_0_63_14_0_29883_0 <- 29172_997_0_0_14_0_24871_0
29264_999_0_0_14_0_24873_0 <- 29172_997_0_0_14_0_24871_0 , 28165_992_1_63_14_0_29879_0
15691_1002_0_0_14_0_25014_0 <- 29172_997_1_0_14_0_24872_0
15706_1000_0_0_14_0_24821_0 <- 29172_997_1_0_14_0_24872_0
29141_997_1_0_14_0_24868_0 <- 29264_999_0_0_14_0_24873_0
29158_997_1_0_14_0_24870_0 <- 29264_999_0_0_14_0_24873_0
0_0_0_0_23_0_25631_0 <- 31103_991_0_0_14_0_24874_0
0_0_0_0_24_0_25769_0 <- 31103_991_1_0_14_0_24875_0
32100_985_0_0_14_0_24900_0 <- 31257_991_0_0_14_0_24880_0
32108_985_0_0_14_0_24902_0 <- 31257_991_0_0_14_0_24880_0
32100_985_1_0_14_0_24901_0 <- 31257_991_1_0_14_0_24881_0
32108_985_1_0_14_0_24903_0 <- 31257_991_1_0_14_0_24881_0
32254_987_0_43_14_0_29735_0 <- 31276_991_0_0_14_0_24882_0
32411_987_0_0_14_0_24912_0 <- 31276_991_0_0_14_0_24882_0 , 32398_987_0_43_14_0_29732_0
32254_987_1_45_14_0_29766_0 <- 31276_991_1_0_14_0_24883_0
32411_987_1_0_14_0_24913_0 <- 31276_991_1_0_14_0_24883_0 , 32398_987_1_45_14_0_29763_0
0_0_0_0_25_0_25907_0 <- 31353_992_0_0_14_0_24884_0
0_0_0_0_26_0_26052_0 <- 31353_992_1_0_14_0_24885_0
32922_985_0_37_14_0_29575_0 <- 31492_992_0_0_14_0_24890_0
33225_985_0_0_14_0_24920_0 <- 31492_992_0_0_14_0_24890_0 , 33212_985_0_37_14_0_29569_0
32922_985_1_39_14_0_29633_0 <- 31492_992_1_0_14_0_24891_0
33225_985_1_0_14_0_24921_0 <- 31492_992_1_0_14_0_24891_0 , 33212_985_1_39_14_0_29627_0
32064_987_0_0_14_0_24896_0 <- 32048_987_0_0_14_0_24892_0 , 32024_989_0_0_14_0_25010_0
32064_987_1_0_14_0_24897_0 <- 32048_987_1_0_14_0_24893_0 , 32024_989_1_0_14_0_25013_0
32064_988_0_0_14_0_24898_0 <- 32048_988_0_0_14_0_24894_0 , 32024_990_0_0_14_0_25008_0
32064_988_1_0_14_0_24899_0 <- 32048_988_1_0_14_0_24895_0 , 32024_990_1_0_14_0_25011_0
31103_991_0_0_14_0_24874_0 <- 32064_987_0_0_14_0_24896_0
31257_991_0_0_14_0_24880_0 <- 32064_987_0_0_14_0_24896_0
31103_991_1_0_14_0_24875_0 <- 32064_987_1_0_14_0_24897_0
31257_991_1_0_14_0_24881_0 <- 32064_987_1_0_14_0_24897_0
31353_992_0_0_14_0_24884_0 <- 32064_988_0_0_14_0_24898_0
31347_991_0_0_14_0_25009_0 <- 32064_988_0_0_14_0_24898_0
31353_992_1_0_14_0_24885_0 <- 32064_988_1_0_14_0_24899_0
31347_991_1_0_14_0_25012_0 <- 32064_988_1_0_14_0_24899_0
32234_986_0_0_14_0_24910_0 <- 32100_985_0_0_14_0_24900_0 , 32220_983_0_0_14_0_24908_0
32234_986_1_0_14_0_24911_0 <- 32100_985_1_0_14_0_24901_0 , 32220_983_1_0_14_0_24909_0
28370_973_0_0_14_0_24859_0 <- 32108_985_0_0_14_0_24902_0
28370_973_1_0_14_0_24860_0 <- 32108_985_1_0_14_0_24903_0
32201_981_0_115_14_0_30010_0 <- 32189_983_0_0_14_0_24904_0
32218_982_0_0_14_0_24906_0 <- 32189_983_0_0_14_0_24904_0 , 32201_981_0_115_14_0_30010_0
32201_981_1_121_14_0_30013_0 <- 32189_983_1_0_14_0_24905_0
32218_982_1_0_14_0_24907_0 <- 32189_983_1_0_14_0_24905_0 , 32201_981_1_121_14_0_30013_0
31276_991_0_0_14_0_24882_0 <- 32234_986_0_0_14_0_24910_0 , 35778_967_1_0_14_0_24929_0
31276_991_1_0_14_0_24883_0 <- 32234_986_1_0_14_0_24911_0 , 35778_967_3_0_14_0_24931_0
33781_970_0_65_14_0_29896_0 <- 32411_987_0_0_14_0_24912_0
33917_970_0_0_14_0_24922_0 <- 32411_987_0_0_14_0_24912_0 , 33904_970_0_65_14_0_29889_0
33781_970_1_67_14_0_29904_0 <- 32411_987_1_0_14_0_24913_0
33917_970_1_0_14_0_24923_0 <- 32411_987_1_0_14_0_24913_0 , 33904_970_1_67_14_0_29897_0
19443_975_0_0_14_0_24855_0 <- 33917_970_0_0_14_0_24922_0 , 19414_975_0_97_14_0_29985_0
19261_975_0_97_14_0_29988_0 <- 33917_970_0_0_14_0_24922_0
19443_975_1_0_14_0_24856_0 <- 33917_970_1_0_14_0_24923_0 , 19414_975_1_99_14_0_29989_0
19261_975_1_99_14_0_29992_0 <- 33917_970_1_0_14_0_24923_0
35742_967_1_75_14_0_29928_0 <- 35778_967_0_0_14_0_24928_0
35778_967_1_0_14_0_24929_0 <- 35778_967_0_0_14_0_24928_0 , 35742_967_1_75_14_0_29928_0
35742_967_3_79_14_0_29936_0 <- 35778_967_2_0_14_0_24930_0
35778_967_3_0_14_0_24931_0 <- 35778_967_2_0_14_0_24930_0 , 35742_967_3_79_14_0_29936_0
31492_992_0_0_14_0_24890_0 <- 31347_991_0_0_14_0_25009_0 , 5_0_0_0_14_0_26051_0
31492_992_1_0_14_0_24891_0 <- 31347_991_1_0_14_0_25012_0 , 6_0_0_0_14_0_26196_0
2597_1009_0_0_21_0_25033_0 <- 0_0_0_0_21_0_25023_0
2436_1009_0_0_21_0_25030_0 <- 0_0_0_0_21_0_25023_0
552_1017_0_0_21_0_25027_0 <- 533_1017_0_0_21_0_25026_0 , 3109_1008_0_0_21_0_25039_0
1_0_0_0_14_0_25326_0 <- 552_1017_0_0_21_0_25027_0 , 9726_962_1_0_21_0_25213_0 , 9726_967_1_0_21_0_25214_0
7351_991_0_0_21_0_25098_0 <- 2436_1009_0_0_21_0_25030_0
7367_991_0_0_21_0_25099_0 <- 2436_1009_0_0_21_0_25030_0
2494_1007_0_0_21_0_25032_0 <- 2490_1007_0_0_21_0_25031_0 , 2475_1004_0_0_21_0_25317_0
3769_996_0_0_21_0_25040_0 <- 2494_1007_0_0_21_0_25032_0
3877_996_0_0_21_0_25041_0 <- 2494_1007_0_0_21_0_25032_0 , 3769_996_0_0_21_0_25040_0
6165_997_0_0_21_0_25085_0 <- 2597_1009_0_0_21_0_25033_0 , 6163_996_0_0_21_0_25084_0
6134_997_0_0_21_0_25083_0 <- 2597_1009_0_0_21_0_25033_0
2900_1008_0_0_21_0_25035_0 <- 2620_1009_0_0_21_0_25034_0 , 6071_993_0_1_21_0_26198_0
2659_1008_0_1_21_0_26280_0 <- 2620_1009_0_0_21_0_25034_0
3001_1008_0_0_21_0_25038_0 <- 2900_1008_0_0_21_0_25035_0
3109_1008_0_0_21_0_25039_0 <- 2900_1008_0_0_21_0_25035_0 , 3001_1008_0_0_21_0_25038_0
533_1017_0_0_21_0_25026_0 <- 3109_1008_0_0_21_0_25039_0
5340_992_0_0_21_0_25060_0 <- 3877_996_0_0_21_0_25041_0
5366_992_0_0_21_0_25061_0 <- 3877_996_0_0_21_0_25041_0
4097_1005_0_0_21_0_25058_0 <- 4084_1004_0_0_21_0_25056_0 , 4092_1004_0_0_21_0_25057_0
2620_1009_0_0_21_0_25034_0 <- 4097_1005_0_0_21_0_25058_0 , 6071_994_0_0_21_0_25082_0
5733_992_0_0_21_0_25073_0 <- 5340_992_0_0_21_0_25060_0 , 5730_990_0_0_21_0_25072_0
5586_991_0_0_21_0_25323_0 <- 5366_992_0_0_21_0_25061_0
5691_990_0_0_21_0_25071_0 <- 5366_992_0_0_21_0_25061_0
7832_984_5_0_21_0_25118_0 <- 5691_990_0_0_21_0_25071_0
7840_984_5_0_21_0_25121_0 <- 5691_990_0_0_21_0_25071_0
5842_993_0_0_21_0_25074_0 <- 5733_992_0_0_21_0_25073_0
5850_993_0_0_21_0_25075_0 <- 5733_992_0_0_21_0_25073_0
5927_993_0_0_21_0_25076_0 <- 5842_993_0_0_21_0_25074_0 , 7961_984_1_0_21_0_25170_0
7832_984_1_0_21_0_25116_0 <- 5850_993_0_0_21_0_25075_0
7840_984_1_0_21_0_25119_0 <- 5850_993_0_0_21_0_25075_0
5944_994_0_0_21_0_25077_0 <- 5927_993_0_0_21_0_25076_0
5952_994_0_0_21_0_25078_0 <- 5927_993_0_0_21_0_25076_0
6071_994_0_0_21_0_25082_0 <- 5944_994_0_0_21_0_25077_0 , 7961_984_3_0_21_0_25171_0
7832_984_3_0_21_0_25117_0 <- 5952_994_0_0_21_0_25078_0
7840_984_3_0_21_0_25120_0 <- 5952_994_0_0_21_0_25078_0
6146_995_0_123_21_0_30014_0 <- 6134_997_0_0_21_0_25083_0
6163_996_0_0_21_0_25084_0 <- 6134_997_0_0_21_0_25083_0 , 6146_995_0_123_21_0_30014_0
6272_997_0_85_21_0_29954_0 <- 6165_997_0_0_21_0_25085_0
6483_997_0_0_21_0_25091_0 <- 6165_997_0_0_21_0_25085_0 , 6272_997_0_85_21_0_29954_0
4092_1004_0_0_21_0_25057_0 <- 6483_997_0_0_21_0_25091_0
4084_1004_0_0_21_0_25056_0 <- 6483_997_0_0_21_0_25091_0
7511_991_0_0_21_0_25112_0 <- 7351_991_0_0_21_0_25098_0 , 7367_991_0_0_21_0_25099_0
2490_1007_0_0_21_0_25031_0 <- 7511_991_0_0_21_0_25112_0
2475_1004_0_0_21_0_25317_0 <- 7511_991_0_0_21_0_25112_0
7961_984_1_0_21_0_25170_0 <- 7832_984_1_0_21_0_25116_0 , 7840_984_1_0_21_0_25119_0
7961_984_3_0_21_0_25171_0 <- 7832_984_3_0_21_0_25117_0 , 7840_984_3_0_21_0_25120_0
7961_984_5_0_21_0_25172_0 <- 7832_984_5_0_21_0_25118_0 , 7840_984_5_0_21_0_25121_0
5730_990_0_0_21_0_25072_0 <- 7961_984_5_0_21_0_25172_0 , 5586_991_0_0_21_0_25323_0
2597_1009_0_0_22_0_25337_0 <- 0_0_0_0_22_0_25327_0
2436_1009_0_0_22_0_25334_0 <- 0_0_0_0_22_0_25327_0
552_1017_0_0_22_0_25331_0 <- 533_1017_0_0_22_0_25330_0 , 3109_1008_0_0_22_0_25343_0
2_0_0_0_14_0_25630_0 <- 552_1017_0_0_22_0_25331_0 , 9726_962_1_0_22_0_25517_0 , 9726_967_1_0_22_0_25518_0
7351_991_0_0_22_0_25402_0 <- 2436_1009_0_0_22_0_25334_0
7367_991_0_0_22_0_25403_0 <- 2436_1009_0_0_22_0_25334_0
2494_1007_0_0_22_0_25336_0 <- 2490_1007_0_0_22_0_25335_0 , 2475_1004_0_0_22_0_25621_0
3769_996_0_0_22_0_25344_0 <- 2494_1007_0_0_22_0_25336_0
3877_996_0_0_22_0_25345_0 <- 2494_1007_0_0_22_0_25336_0 , 3769_996_0_0_22_0_25344_0
6165_997_0_0_22_0_25389_0 <- 2597_1009_0_0_22_0_25337_0 , 6163_996_0_0_22_0_25388_0
6134_997_0_0_22_0_25387_0 <- 2597_1009_0_0_22_0_25337_0
2900_1008_0_0_22_0_25339_0 <- 2620_1009_0_0_22_0_25338_0 , 6071_993_0_3_22_0_26332_0
2659_1008_0_3_22_0_26414_0 <- 2620_1009_0_0_22_0_25338_0
3001_1008_0_0_22_0_25342_0 <- 2900_1008_0_0_22_0_25339_0
3109_1008_0_0_22_0_25343_0 <- 2900_1008_0_0_22_0_25339_0 , 3001_1008_0_0_22_0_25342_0
533_1017_0_0_22_0_25330_0 <- 3109_1008_0_0_22_0_25343_0
5340_992_0_0_22_0_25364_0 <- 3877_996_0_0_22_0_25345_0
5366_992_0_0_22_0_25365_0 <- 3877_996_0_0_22_0_25345_0
4097_1005_0_0_22_0_25362_0 <- 4084_1004_0_0_22_0_25360_0 , 4092_1004_0_0_22_0_25361_0
2620_1009_0_0_22_0_25338_0 <- 4097_1005_0_0_22_0_25362_0 , 6071_994_0_0_22_0_25386_0
5733_992_0_0_22_0_25377_0 <- 5340_992_0_0_22_0_25364_0 , 5730_990_0_0_22_0_25376_0
5586_991_0_0_22_0_25627_0 <- 5366_992_0_0_22_0_25365_0
5691_990_0_0_22_0_25375_0 <- 5366_992_0_0_22_0_25365_0
7832_984_5_0_22_0_25422_0 <- 5691_990_0_0_22_0_25375_0
7840_984_5_0_22_0_25425_0 <- 5691_990_0_0_22_0_25375_0
5842_993_0_0_22_0_25378_0 <- 5733_992_0_0_22_0_25377_0
5850_993_0_0_22_0_25379_0 <- 5733_992_0_0_22_0_25377_0
5927_993_0_0_22_0_25380_0 <- 5842_993_0_0_22_0_25378_0 , 7961_984_1_0_22_0_25474_0
7832_984_1_0_22_0_25420_0 <- 5850_993_0_0_22_0_25379_0
7840_984_1_0_22_0_25423_0 <- 5850_993_0_0_22_0_25379_0
5944_994_0_0_22_0_25381_0 <- 5927_993_0_0_22_0_25380_0
5952_994_0_0_22_0_25382_0 <- 5927_993_0_0_22_0_25380_0
6071_994_0_0_22_0_25386_0 <- 5944_994_0_0_22_0_25381_0 , 7961_984_3_0_22_0_25475_0
7832_984_3_0_22_0_25421_0 <- 5952_994_0_0_22_0_25382_0
7840_984_3_0_22_0_25424_0 <- 5952_994_0_0_22_0_25382_0
6146_995_0_125_22_0_30015_0 <- 6134_997_0_0_22_0_25387_0
6163_996_0_0_22_0_25388_0 <- 6134_997_0_0_22_0_25387_0 , 6146_995_0_125_22_0_30015_0
6272_997_0_87_22_0_29960_0 <- 6165_997_0_0_22_0_25389_0
6483_997_0_0_22_0_25395_0 <- 6165_997_0_0_22_0_25389_0 , 6272_997_0_87_22_0_29960_0
4092_1004_0_0_22_0_25361_0 <- 6483_997_0_0_22_0_25395_0
4084_1004_0_0_22_0_25360_0 <- 6483_997_0_0_22_0_25395_0
7511_991_0_0_22_0_25416_0 <- 7351_991_0_0_22_0_25402_0 , 7367_991_0_0_22_0_25403_0
2490_1007_0_0_22_0_25335_0 <- 7511_991_0_0_22_0_25416_0
2475_1004_0_0_22_0_25621_0 <- 7511_991_0_0_22_0_25416_0
7961_984_1_0_22_0_25474_0 <- 7832_984_1_0_22_0_25420_0 , 7840_984_1_0_22_0_25423_0
7961_984_3_0_22_0_25475_0 <- 7832_984_3_0_22_0_25421_0 , 7840_984_3_0_22_0_25424_0
7961_984_5_0_22_0_25476_0 <- 7832_984_5_0_22_0_25422_0 , 7840_984_5_0_22_0_25425_0
5730_990_0_0_22_0_25376_0 <- 7961_984_5_0_22_0_25476_0 , 5586_991_0_0_22_0_25627_0
572_1008_0_0_23_0_25635_0 <- 0_0_0_0_23_0_25631_0
556_1008_0_0_23_0_25634_0 <- 0_0_0_0_23_0_25631_0
5146_983_0_0_23_0_25680_0 <- 556_1008_0_0_23_0_25634_0
5134_983_0_0_23_0_25679_0 <- 556_1008_0_0_23_0_25634_0
1041_1002_0_0_23_0_25639_0 <- 572_1008_0_0_23_0_25635_0
1049_1002_0_0_23_0_25640_0 <- 572_1008_0_0_23_0_25635_0
1682_1003_0_13_23_0_28655_0 <- 634_1008_0_0_23_0_25636_0
2157_1003_0_0_23_0_25649_0 <- 634_1008_0_0_23_0_25636_0 , 2144_1003_0_13_23_0_28649_0
1175_1003_0_0_23_0_25641_0 <- 1041_1002_0_0_23_0_25639_0 , 2656_998_0_0_23_0_25662_0
6516_990_0_0_23_0_25705_0 <- 1049_1002_0_0_23_0_25640_0 , 6514_989_0_0_23_0_25704_0
6485_990_0_0_23_0_25703_0 <- 1049_1002_0_0_23_0_25640_0
2682_996_0_0_23_0_25663_0 <- 1175_1003_0_0_23_0_25641_0
2773_996_0_0_23_0_25664_0 <- 1175_1003_0_0_23_0_25641_0
9388_1004_0_127_23_0_30017_0 <- 2157_1003_0_0_23_0_25649_0
9424_1004_0_0_23_0_25744_0 <- 2157_1003_0_0_23_0_25649_0 , 9388_1004_0_127_23_0_30017_0
2508_993_0_0_23_0_25657_0 <- 2233_989_0_0_23_0_25652_0 , 2492_987_0_0_23_0_25656_0
5500_985_0_0_23_0_25692_0 <- 2250_989_0_0_23_0_25653_0
5508_985_0_0_23_0_25693_0 <- 2250_989_0_0_23_0_25653_0
2492_987_0_0_23_0_25656_0 <- 2373_988_0_0_23_0_25654_0 , 5529_981_0_29_23_0_29337_0
2385_987_0_29_23_0_29394_0 <- 2373_988_0_0_23_0_25654_0
634_1008_0_0_23_0_25636_0 <- 2508_993_0_0_23_0_25657_0 , 2866_998_0_0_23_0_25665_0
2656_998_0_0_23_0_25662_0 <- 2643_997_0_0_23_0_25660_0 , 2651_997_0_0_23_0_25661_0
2866_998_0_0_23_0_25665_0 <- 2682_996_0_0_23_0_25663_0 , 2773_996_0_0_23_0_25664_0
5479_984_0_0_23_0_25691_0 <- 5134_983_0_0_23_0_25679_0 , 5154_983_0_0_23_0_25681_0 , 5194_982_0_0_23_0_25683_0 , 5217_982_0_0_23_0_25685_0 , 5303_982_0_0_23_0_25687_0 , 5380_982_0_0_23_0_25688_0
5166_983_0_0_23_0_25682_0 <- 5146_983_0_0_23_0_25680_0
5154_983_0_0_23_0_25681_0 <- 5146_983_0_0_23_0_25680_0
5207_982_0_0_23_0_25684_0 <- 5166_983_0_0_23_0_25682_0
5194_982_0_0_23_0_25683_0 <- 5166_983_0_0_23_0_25682_0
5293_982_0_0_23_0_25686_0 <- 5207_982_0_0_23_0_25684_0
5217_982_0_0_23_0_25685_0 <- 5207_982_0_0_23_0_25684_0
5380_982_0_0_23_0_25688_0 <- 5293_982_0_0_23_0_25686_0
5303_982_0_0_23_0_25687_0 <- 5293_982_0_0_23_0_25686_0
2233_989_0_0_23_0_25652_0 <- 5479_984_0_0_23_0_25691_0
2250_989_0_0_23_0_25653_0 <- 5479_984_0_0_23_0_25691_0
5529_985_0_0_23_0_25694_0 <- 5500_985_0_0_23_0_25692_0 , 7213_981_0_0_23_0_25725_0
7026_982_0_0_23_0_25760_0 <- 5508_985_0_0_23_0_25693_0
7053_981_0_0_23_0_25712_0 <- 5508_985_0_0_23_0_25693_0
2287_988_0_21_23_0_29063_0 <- 5529_985_0_0_23_0_25694_0
2373_988_0_0_23_0_25654_0 <- 5529_985_0_0_23_0_25694_0 , 5529_984_0_21_23_0_28991_0
6497_988_0_129_23_0_30018_0 <- 6485_990_0_0_23_0_25703_0
6514_989_0_0_23_0_25704_0 <- 6485_990_0_0_23_0_25703_0 , 6497_988_0_129_23_0_30018_0
6623_990_0_89_23_0_29966_0 <- 6516_990_0_0_23_0_25705_0
6834_990_0_0_23_0_25711_0 <- 6516_990_0_0_23_0_25705_0 , 6623_990_0_89_23_0_29966_0
2651_997_0_0_23_0_25661_0 <- 6834_990_0_0_23_0_25711_0
2643_997_0_0_23_0_25660_0 <- 6834_990_0_0_23_0_25711_0
7066_981_0_0_23_0_25713_0 <- 7053_981_0_0_23_0_25712_0 , 7026_982_0_0_23_0_25760_0
7066_981_0_0_23_0_25761_0 <- 7066_981_0_0_23_0_25713_0
7083_981_0_0_23_0_25714_0 <- 7066_981_0_0_23_0_25713_0
7096_981_0_0_23_0_25715_0 <- 7083_981_0_0_23_0_25714_0 , 7066_981_0_0_23_0_25761_0
7096_981_0_0_23_0_25762_0 <- 7096_981_0_0_23_0_25715_0
7109_981_0_0_23_0_25716_0 <- 7096_981_0_0_23_0_25715_0
7122_981_0_0_23_0_25717_0 <- 7109_981_0_0_23_0_25716_0 , 7096_981_0_0_23_0_25762_0
7122_981_0_0_23_0_25763_0 <- 7122_981_0_0_23_0_25717_0
7133_981_0_0_23_0_25718_0 <- 7122_981_0_0_23_0_25717_0
7146_981_0_0_23_0_25719_0 <- 7133_981_0_0_23_0_25718_0 , 7122_981_0_0_23_0_25763_0
7146_981_0_0_23_0_25764_0 <- 7146_981_0_0_23_0_25719_0
7156_981_0_0_23_0_25720_0 <- 7146_981_0_0_23_0_25719_0
7169_981_0_0_23_0_25721_0 <- 7156_981_0_0_23_0_25720_0 , 7146_981_0_0_23_0_25764_0
7169_981_0_0_23_0_25765_0 <- 7169_981_0_0_23_0_25721_0
7178_981_0_0_23_0_25722_0 <- 7169_981_0_0_23_0_25721_0
7191_981_0_0_23_0_25723_0 <- 7178_981_0_0_23_0_25722_0 , 7169_981_0_0_23_0_25765_0
7191_981_0_0_23_0_25766_0 <- 7191_981_0_0_23_0_25723_0
7200_981_0_0_23_0_25724_0 <- 7191_981_0_0_23_0_25723_0
7213_981_0_0_23_0_25725_0 <- 7200_981_0_0_23_0_25724_0 , 7191_981_0_0_23_0_25766_0
3_0_0_0_14_0_25768_0 <- 9424_1004_0_0_23_0_25744_0
35742_967_0_73_14_0_29924_0 <- 3_0_0_0_14_0_25768_0
35778_967_0_0_14_0_24928_0 <- 3_0_0_0_14_0_25768_0 , 35742_967_0_73_14_0_29924_0
572_1008_0_0_24_0_25773_0 <- 0_0_0_0_24_0_25769_0
556_1008_0_0_24_0_25772_0 <- 0_0_0_0_24_0_25769_0
5146_983_0_0_24_0_25818_0 <- 556_1008_0_0_24_0_25772_0
5134_983_0_0_24_0_25817_0 <- 556_1008_0_0_24_0_25772_0
1041_1002_0_0_24_0_25777_0 <- 572_1008_0_0_24_0_25773_0
1049_1002_0_0_24_0_25778_0 <- 572_1008_0_0_24_0_25773_0
1682_1003_0_15_24_0_28739_0 <- 634_1008_0_0_24_0_25774_0
2157_1003_0_0_24_0_25787_0 <- 634_1008_0_0_24_0_25774_0 , 2144_1003_0_15_24_0_28733_0
1175_1003_0_0_24_0_25779_0 <- 1041_1002_0_0_24_0_25777_0 , 2656_998_0_0_24_0_25800_0
6516_990_0_0_24_0_25843_0 <- 1049_1002_0_0_24_0_25778_0 , 6514_989_0_0_24_0_25842_0
6485_990_0_0_24_0_25841_0 <- 1049_1002_0_0_24_0_25778_0
2682_996_0_0_24_0_25801_0 <- 1175_1003_0_0_24_0_25779_0
2773_996_0_0_24_0_25802_0 <- 1175_1003_0_0_24_0_25779_0
9388_1004_0_131_24_0_30020_0 <- 2157_1003_0_0_24_0_25787_0
9424_1004_0_0_24_0_25882_0 <- 2157_1003_0_0_24_0_25787_0 , 9388_1004_0_131_24_0_30020_0
2508_993_0_0_24_0_25795_0 <- 2233_989_0_0_24_0_25790_0 , 2492_987_0_0_24_0_25794_0
5500_985_0_0_24_0_25830_0 <- 2250_989_0_0_24_0_25791_0
5508_985_0_0_24_0_25831_0 <- 2250_989_0_0_24_0_25791_0
2492_987_0_0_24_0_25794_0 <- 2373_988_0_0_24_0_25792_0 , 5529_981_0_31_24_0_29395_0
2385_987_0_31_24_0_29452_0 <- 2373_988_0_0_24_0_25792_0
634_1008_0_0_24_0_25774_0 <- 2508_993_0_0_24_0_25795_0 , 2866_998_0_0_24_0_25803_0
2656_998_0_0_24_0_25800_0 <- 2643_997_0_0_24_0_25798_0 , 2651_997_0_0_24_0_25799_0
2866_998_0_0_24_0_25803_0 <- 2682_996_0_0_24_0_25801_0 , 2773_996_0_0_24_0_25802_0
5479_984_0_0_24_0_25829_0 <- 5134_983_0_0_24_0_25817_0 , 5154_983_0_0_24_0_25819_0 , 5194_982_0_0_24_0_25821_0 , 5217_982_0_0_24_0_25823_0 , 5303_982_0_0_24_0_25825_0 , 5380_982_0_0_24_0_25826_0
5166_983_0_0_24_0_25820_0 <- 5146_983_0_0_24_0_25818_0
5154_983_0_0_24_0_25819_0 <- 5146_983_0_0_24_0_25818_0
5207_982_0_0_24_0_25822_0 <- 5166_983_0_0_24_0_25820_0
5194_982_0_0_24_0_25821_0 <- 5166_983_0_0_24_0_25820_0
5293_982_0_0_24_0_25824_0 <- 5207_982_0_0_24_0_25822_0
5217_982_0_0_24_0_25823_0 <- 5207_982_0_0_24_0_25822_0
5380_982_0_0_24_0_25826_0 <- 5293_982_0_0_24_0_25824_0
5303_982_0_0_24_0_25825_0 <- 5293_982_0_0_24_0_25824_0
2233_989_0_0_24_0_25790_0 <- 5479_984_0_0_24_0_25829_0
2250_989_0_0_24_0_25791_0 <- 5479_984_0_0_24_0_25829_0
5529_985_0_0_24_0_25832_0 <- 5500_985_0_0_24_0_25830_0 , 7213_981_0_0_24_0_25863_0
7026_982_0_0_24_0_25898_0 <- 5508_985_0_0_24_0_25831_0
7053_981_0_0_24_0_25850_0 <- 5508_985_0_0_24_0_25831_0
2287_988_0_23_24_0_29151_0 <- 5529_985_0_0_24_0_25832_0
2373_988_0_0_24_0_25792_0 <- 5529_985_0_0_24_0_25832_0 , 5529_984_0_23_24_0_29079_0
6497_988_0_133_24_0_30021_0 <- 6485_990_0_0_24_0_25841_0
6514_989_0_0_24_0_25842_0 <- 6485_990_0_0_24_0_25841_0 , 6497_988_0_133_24_0_30021_0
6623_990_0_91_24_0_29972_0 <- 6516_990_0_0_24_0_25843_0
6834_990_0_0_24_0_25849_0 <- 6516_990_0_0_24_0_25843_0 , 6623_990_0_91_24_0_29972_0
2651_997_0_0_24_0_25799_0 <- 6834_990_0_0_24_0_25849_0
2643_997_0_0_24_0_25798_0 <- 6834_990_0_0_24_0_25849_0
7066_981_0_0_24_0_25851_0 <- 7053_981_0_0_24_0_25850_0 , 7026_982_0_0_24_0_25898_0
7066_981_0_0_24_0_25899_0 <- 7066_981_0_0_24_0_25851_0
7083_981_0_0_24_0_25852_0 <- 7066_981_0_0_24_0_25851_0
7096_981_0_0_24_0_25853_0 <- 7083_981_0_0_24_0_25852_0 , 7066_981_0_0_24_0_25899_0
7096_981_0_0_24_0_25900_0 <- 7096_981_0_0_24_0_25853_0
7109_981_0_0_24_0_25854_0 <- 7096_981_0_0_24_0_25853_0
7122_981_0_0_24_0_25855_0 <- 7109_981_0_0_24_0_25854_0 , 7096_981_0_0_24_0_25900_0
7122_981_0_0_24_0_25901_0 <- 7122_981_0_0_24_0_25855_0
7133_981_0_0_24_0_25856_0 <- 7122_981_0_0_24_0_25855_0
7146_981_0_0_24_0_25857_0 <- 7133_981_0_0_24_0_25856_0 , 7122_981_0_0_24_0_25901_0
7146_981_0_0_24_0_25902_0 <- 7146_981_0_0_24_0_25857_0
7156_981_0_0_24_0_25858_0 <- 7146_981_0_0_24_0_25857_0
7169_981_0_0_24_0_25859_0 <- 7156_981_0_0_24_0_25858_0 , 7146_981_0_0_24_0_25902_0
7169_981_0_0_24_0_25903_0 <- 7169_981_0_0_24_0_25859_0
7178_981_0_0_24_0_25860_0 <- 7169_981_0_0_24_0_25859_0
7191_981_0_0_24_0_25861_0 <- 7178_981_0_0_24_0_25860_0 , 7169_981_0_0_24_0_25903_0
7191_981_0_0_24_0_25904_0 <- 7191_981_0_0_24_0_25861_0
7200_981_0_0_24_0_25862_0 <- 7191_981_0_0_24_0_25861_0
7213_981_0_0_24_0_25863_0 <- 7200_981_0_0_24_0_25862_0 , 7191_981_0_0_24_0_25904_0
4_0_0_0_14_0_25906_0 <- 9424_1004_0_0_24_0_25882_0
35742_967_2_77_14_0_29932_0 <- 4_0_0_0_14_0_25906_0
35778_967_2_0_14_0_24930_0 <- 4_0_0_0_14_0_25906_0 , 35742_967_2_77_14_0_29932_0
572_1010_0_0_25_0_25911_0 <- 0_0_0_0_25_0_25907_0
556_1010_0_0_25_0_25910_0 <- 0_0_0_0_25_0_25907_0
5146_985_0_0_25_0_25965_0 <- 556_1010_0_0_25_0_25910_0
5134_985_0_0_25_0_25964_0 <- 556_1010_0_0_25_0_25910_0
1175_1005_0_0_25_0_25916_0 <- 572_1010_0_0_25_0_25911_0 , 2656_1000_0_0_25_0_25941_0
1049_1004_0_0_25_0_25915_0 <- 572_1010_0_0_25_0_25911_0
1682_1005_0_17_25_0_28823_0 <- 634_1010_0_0_25_0_25912_0
2157_1005_0_0_25_0_25928_0 <- 634_1010_0_0_25_0_25912_0 , 2144_1005_0_17_25_0_28817_0
6516_992_0_0_25_0_25990_0 <- 1049_1004_0_0_25_0_25915_0 , 6514_991_0_0_25_0_25989_0
6485_992_0_0_25_0_25988_0 <- 1049_1004_0_0_25_0_25915_0
2682_998_0_0_25_0_25942_0 <- 1175_1005_0_0_25_0_25916_0
2773_998_0_0_25_0_25943_0 <- 1175_1005_0_0_25_0_25916_0
5_0_0_0_14_0_26051_0 <- 2157_1005_0_0_25_0_25928_0
2508_995_0_0_25_0_25936_0 <- 2233_991_0_0_25_0_25931_0 , 2492_989_0_0_25_0_25935_0
5500_987_0_0_25_0_25977_0 <- 2250_991_0_0_25_0_25932_0
5508_987_0_0_25_0_25978_0 <- 2250_991_0_0_25_0_25932_0
2492_989_0_0_25_0_25935_0 <- 2373_990_0_0_25_0_25933_0 , 5529_983_1_33_25_0_29453_0
2385_989_0_33_25_0_29510_0 <- 2373_990_0_0_25_0_25933_0
634_1010_0_0_25_0_25912_0 <- 2508_995_0_0_25_0_25936_0 , 3367_994_0_0_25_0_25950_0
2656_1000_0_0_25_0_25941_0 <- 2643_999_0_0_25_0_25939_0 , 2651_999_0_0_25_0_25940_0
2866_1000_0_0_25_0_25944_0 <- 2682_998_0_0_25_0_25942_0 , 2773_998_0_0_25_0_25943_0
2950_989_0_69_25_0_29912_0 <- 2866_1000_0_0_25_0_25944_0
3086_989_0_0_25_0_25949_0 <- 2866_1000_0_0_25_0_25944_0 , 3073_989_0_69_25_0_29905_0
3367_994_0_0_25_0_25950_0 <- 3086_989_0_0_25_0_25949_0 , 3338_994_0_101_25_0_29993_0
3185_994_0_101_25_0_29996_0 <- 3086_989_0_0_25_0_25949_0
5479_986_0_0_25_0_25976_0 <- 5134_985_0_0_25_0_25964_0 , 5154_985_0_0_25_0_25966_0 , 5194_984_0_0_25_0_25968_0 , 5217_984_0_0_25_0_25970_0 , 5303_984_0_0_25_0_25972_0 , 5380_984_0_0_25_0_25973_0
5166_985_0_0_25_0_25967_0 <- 5146_985_0_0_25_0_25965_0
5154_985_0_0_25_0_25966_0 <- 5146_985_0_0_25_0_25965_0
5207_984_0_0_25_0_25969_0 <- 5166_985_0_0_25_0_25967_0
5194_984_0_0_25_0_25968_0 <- 5166_985_0_0_25_0_25967_0
5293_984_0_0_25_0_25971_0 <- 5207_984_0_0_25_0_25969_0
5217_984_0_0_25_0_25970_0 <- 5207_984_0_0_25_0_25969_0
5380_984_0_0_25_0_25973_0 <- 5293_984_0_0_25_0_25971_0
5303_984_0_0_25_0_25972_0 <- 5293_984_0_0_25_0_25971_0
2233_991_0_0_25_0_25931_0 <- 5479_986_0_0_25_0_25976_0
2250_991_0_0_25_0_25932_0 <- 5479_986_0_0_25_0_25976_0
5529_987_0_0_25_0_25979_0 <- 5500_987_0_0_25_0_25977_0 , 7213_983_0_0_25_0_26010_0
7026_984_0_0_25_0_26043_0 <- 5508_987_0_0_25_0_25978_0
7053_983_0_0_25_0_25997_0 <- 5508_987_0_0_25_0_25978_0
2287_990_0_25_25_0_29239_0 <- 5529_987_0_0_25_0_25979_0
2373_990_0_0_25_0_25933_0 <- 5529_987_0_0_25_0_25979_0 , 5529_986_0_25_25_0_29167_0
6497_990_0_135_25_0_30022_0 <- 6485_992_0_0_25_0_25988_0
6514_991_0_0_25_0_25989_0 <- 6485_992_0_0_25_0_25988_0 , 6497_990_0_135_25_0_30022_0
6623_992_0_93_25_0_29978_0 <- 6516_992_0_0_25_0_25990_0
6834_992_0_0_25_0_25996_0 <- 6516_992_0_0_25_0_25990_0 , 6623_992_0_93_25_0_29978_0
2651_999_0_0_25_0_25940_0 <- 6834_992_0_0_25_0_25996_0
2643_999_0_0_25_0_25939_0 <- 6834_992_0_0_25_0_25996_0
7066_983_0_0_25_0_25998_0 <- 7053_983_0_0_25_0_25997_0 , 7026_984_0_0_25_0_26043_0
7066_983_0_0_25_0_26044_0 <- 7066_983_0_0_25_0_25998_0
7083_983_0_0_25_0_25999_0 <- 7066_983_0_0_25_0_25998_0
7096_983_0_0_25_0_26000_0 <- 7083_983_0_0_25_0_25999_0 , 7066_983_0_0_25_0_26044_0
7096_983_0_0_25_0_26045_0 <- 7096_983_0_0_25_0_26000_0
7109_983_0_0_25_0_26001_0 <- 7096_983_0_0_25_0_26000_0
7122_983_0_0_25_0_26002_0 <- 7109_983_0_0_25_0_26001_0 , 7096_983_0_0_25_0_26045_0
7122_983_0_0_25_0_26046_0 <- 7122_983_0_0_25_0_26002_0
7133_983_0_0_25_0_26003_0 <- 7122_983_0_0_25_0_26002_0
7146_983_0_0_25_0_26004_0 <- 7133_983_0_0_25_0_26003_0 , 7122_983_0_0_25_0_26046_0
7146_983_0_0_25_0_26047_0 <- 7146_983_0_0_25_0_26004_0
7156_983_0_0_25_0_26005_0 <- 7146_983_0_0_25_0_26004_0
7169_983_0_0_25_0_26006_0 <- 7156_983_0_0_25_0_26005_0 , 7146_983_0_0_25_0_26047_0
7169_983_0_0_25_0_26048_0 <- 7169_983_0_0_25_0_26006_0
7178_983_0_0_25_0_26007_0 <- 7169_983_0_0_25_0_26006_0
7191_983_0_0_25_0_26008_0 <- 7178_983_0_0_25_0_26007_0 , 7169_983_0_0_25_0_26048_0
7191_983_0_0_25_0_26049_0 <- 7191_983_0_0_25_0_26008_0
7200_983_0_0_25_0_26009_0 <- 7191_983_0_0_25_0_26008_0
7213_983_0_0_25_0_26010_0 <- 7200_983_0_0_25_0_26009_0 , 7191_983_0_0_25_0_26049_0
572_1010_0_0_26_0_26056_0 <- 0_0_0_0_26_0_26052_0
556_1010_0_0_26_0_26055_0 <- 0_0_0_0_26_0_26052_0
5146_985_0_0_26_0_26110_0 <- 556_1010_0_0_26_0_26055_0
5134_985_0_0_26_0_26109_0 <- 556_1010_0_0_26_0_26055_0
1175_1005_0_0_26_0_26061_0 <- 572_1010_0_0_26_0_26056_0 , 2656_1000_0_0_26_0_26086_0
1049_1004_0_0_26_0_26060_0 <- 572_1010_0_0_26_0_26056_0
1682_1005_0_19_26_0_28907_0 <- 634_1010_0_0_26_0_26057_0
2157_1005_0_0_26_0_26073_0 <- 634_1010_0_0_26_0_26057_0 , 2144_1005_0_19_26_0_28901_0
6516_992_0_0_26_0_26135_0 <- 1049_1004_0_0_26_0_26060_0 , 6514_991_0_0_26_0_26134_0
6485_992_0_0_26_0_26133_0 <- 1049_1004_0_0_26_0_26060_0
2682_998_0_0_26_0_26087_0 <- 1175_1005_0_0_26_0_26061_0
2773_998_0_0_26_0_26088_0 <- 1175_1005_0_0_26_0_26061_0
6_0_0_0_14_0_26196_0 <- 2157_1005_0_0_26_0_26073_0
2508_995_0_0_26_0_26081_0 <- 2233_991_0_0_26_0_26076_0 , 2492_989_0_0_26_0_26080_0
5500_987_0_0_26_0_26122_0 <- 2250_991_0_0_26_0_26077_0
5508_987_0_0_26_0_26123_0 <- 2250_991_0_0_26_0_26077_0
2492_989_0_0_26_0_26080_0 <- 2373_990_0_0_26_0_26078_0 , 5529_983_1_35_26_0_29511_0
2385_989_0_35_26_0_29568_0 <- 2373_990_0_0_26_0_26078_0
634_1010_0_0_26_0_26057_0 <- 2508_995_0_0_26_0_26081_0 , 3367_994_0_0_26_0_26095_0
2656_1000_0_0_26_0_26086_0 <- 2643_999_0_0_26_0_26084_0 , 2651_999_0_0_26_0_26085_0
2866_1000_0_0_26_0_26089_0 <- 2682_998_0_0_26_0_26087_0 , 2773_998_0_0_26_0_26088_0
2950_989_0_71_26_0_29920_0 <- 2866_1000_0_0_26_0_26089_0
3086_989_0_0_26_0_26094_0 <- 2866_1000_0_0_26_0_26089_0 , 3073_989_0_71_26_0_29913_0
3367_994_0_0_26_0_26095_0 <- 3086_989_0_0_26_0_26094_0 , 3338_994_0_103_26_0_29997_0
3185_994_0_103_26_0_30000_0 <- 3086_989_0_0_26_0_26094_0
5479_986_0_0_26_0_26121_0 <- 5134_985_0_0_26_0_26109_0 , 5154_985_0_0_26_0_26111_0 , 5194_984_0_0_26_0_26113_0 , 5217_984_0_0_26_0_26115_0 , 5303_984_0_0_26_0_26117_0 , 5380_984_0_0_26_0_26118_0
5166_985_0_0_26_0_26112_0 <- 5146_985_0_0_26_0_26110_0
5154_985_0_0_26_0_26111_0 <- 5146_985_0_0_26_0_26110_0
5207_984_0_0_26_0_26114_0 <- 5166_985_0_0_26_0_26112_0
5194_984_0_0_26_0_26113_0 <- 5166_985_0_0_26_0_26112_0
5293_984_0_0_26_0_26116_0 <- 5207_984_0_0_26_0_26114_0
5217_984_0_0_26_0_26115_0 <- 5207_984_0_0_26_0_26114_0
5380_984_0_0_26_0_26118_0 <- 5293_984_0_0_26_0_26116_0
5303_984_0_0_26_0_26117_0 <- 5293_984_0_0_26_0_26116_0
2233_991_0_0_26_0_26076_0 <- 5479_986_0_0_26_0_26121_0
2250_991_0_0_26_0_26077_0 <- 5479_986_0_0_26_0_26121_0
5529_987_0_0_26_0_26124_0 <- 5500_987_0_0_26_0_26122_0 , 7213_983_0_0_26_0_26155_0
7026_984_0_0_26_0_26188_0 <- 5508_987_0_0_26_0_26123_0
7053_983_0_0_26_0_26142_0 <- 5508_987_0_0_26_0_26123_0
2287_990_0_27_26_0_29327_0 <- 5529_987_0_0_26_0_26124_0
2373_990_0_0_26_0_26078_0 <- 5529_987_0_0_26_0_26124_0 , 5529_986_0_27_26_0_29255_0
6497_990_0_137_26_0_30023_0 <- 6485_992_0_0_26_0_26133_0
6514_991_0_0_26_0_26134_0 <- 6485_992_0_0_26_0_26133_0 , 6497_990_0_137_26_0_30023_0
6623_992_0_95_26_0_29984_0 <- 6516_992_0_0_26_0_26135_0
6834_992_0_0_26_0_26141_0 <- 6516_992_0_0_26_0_26135_0 , 6623_992_0_95_26_0_29984_0
2651_999_0_0_26_0_26085_0 <- 6834_992_0_0_26_0_26141_0
2643_999_0_0_26_0_26084_0 <- 6834_992_0_0_26_0_26141_0
7066_983_0_0_26_0_26143_0 <- 7053_983_0_0_26_0_26142_0 , 7026_984_0_0_26_0_26188_0
7066_983_0_0_26_0_26189_0 <- 7066_983_0_0_26_0_26143_0
7083_983_0_0_26_0_26144_0 <- 7066_983_0_0_26_0_26143_0
7096_983_0_0_26_0_26145_0 <- 7083_983_0_0_26_0_26144_0 , 7066_983_0_0_26_0_26189_0
7096_983_0_0_26_0_26190_0 <- 7096_983_0_0_26_0_26145_0
7109_983_0_0_26_0_26146_0 <- 7096_983_0_0_26_0_26145_0
7122_983_0_0_26_0_26147_0 <- 7109_983_0_0_26_0_26146_0 , 7096_983_0_0_26_0_26190_0
7122_983_0_0_26_0_26191_0 <- 7122_983_0_0_26_0_26147_0
7133_983_0_0_26_0_26148_0 <- 7122_983_0_0_26_0_26147_0
7146_983_0_0_26_0_26149_0 <- 7133_983_0_0_26_0_26148_0 , 7122_983_0_0_26_0_26191_0
7146_983_0_0_26_0_26192_0 <- 7146_983_0_0_26_0_26149_0
7156_983_0_0_26_0_26150_0 <- 7146_983_0_0_26_0_26149_0
7169_983_0_0_26_0_26151_0 <- 7156_983_0_0_26_0_26150_0 , 7146_983_0_0_26_0_26192_0
7169_983_0_0_26_0_26193_0 <- 7169_983_0_0_26_0_26151_0
7178_983_0_0_26_0_26152_0 <- 7169_983_0_0_26_0_26151_0
7191_983_0_0_26_0_26153_0 <- 7178_983_0_0_26_0_26152_0 , 7169_983_0_0_26_0_26193_0
7191_983_0_0_26_0_26194_0 <- 7191_983_0_0_26_0_26153_0
7200_983_0_0_26_0_26154_0 <- 7191_983_0_0_26_0_26153_0
7213_983_0_0_26_0_26155_0 <- 7200_983_0_0_26_0_26154_0 , 7191_983_0_0_26_0_26194_0
6071_993_0_1_21_0_26198_0 <- 5944_993_0_1_21_0_26199_0 , 7961_983_2_1_21_0_26238_0
5944_993_0_1_21_0_26199_0 <- 5927_992_0_1_21_0_26200_0
5952_993_0_1_21_0_26321_0 <- 5927_992_0_1_21_0_26200_0
5927_992_0_1_21_0_26200_0 <- 5842_992_0_1_21_0_26202_0 , 7961_983_0_1_21_0_26255_0
5842_992_0_1_21_0_26202_0 <- 5733_991_0_1_21_0_26204_0
5850_992_0_1_21_0_26274_0 <- 5733_991_0_1_21_0_26204_0
5733_991_0_1_21_0_26204_0 <- 5340_991_0_1_21_0_26208_0 , 5730_989_0_1_21_0_26209_0
5340_991_0_1_21_0_26208_0 <- 2855_1004_0_1_21_0_26212_0
5366_991_0_1_21_0_26283_0 <- 2855_1004_0_1_21_0_26212_0
5730_989_0_1_21_0_26209_0 <- 5586_990_0_1_21_0_26213_0 , 7961_983_5_1_21_0_26237_0
2855_1004_0_1_21_0_26212_0 <- 7511_990_0_1_21_0_26217_0 , 4726_995_1_1_21_0_26226_0
7511_990_0_1_21_0_26217_0 <- 7351_990_0_1_21_0_26222_0 , 7367_990_0_1_21_0_26252_0
7351_990_0_1_21_0_26222_0 <- 2837_1004_0_1_21_0_26227_0
7367_990_0_1_21_0_26252_0 <- 2837_1004_0_1_21_0_26227_0
4726_995_1_1_21_0_26226_0 <- 4688_995_1_1_21_0_26230_0 , 9118_978_1_1_21_0_26288_0
4698_995_1_1_21_0_26318_0 <- 4688_995_1_1_21_0_26233_0
4688_995_1_1_21_0_26230_0 <- 4688_995_1_1_21_0_26233_0
4688_995_1_1_21_0_26233_0 <- 4640_994_1_1_21_0_26240_0 , 5261_979_1_1_21_0_26248_0
2739_1004_0_1_21_0_26292_0 <- 2713_1004_0_1_21_0_26241_0
2837_1004_0_1_21_0_26227_0 <- 2713_1004_0_1_21_0_26241_0
7961_983_5_1_21_0_26237_0 <- 7832_983_5_1_21_0_26243_0 , 7840_983_5_1_21_0_26293_0
7961_983_2_1_21_0_26238_0 <- 7832_983_2_1_21_0_26246_0 , 7840_983_2_1_21_0_26296_0
4646_995_1_1_21_0_26306_0 <- 4640_994_1_1_21_0_26249_0
4640_994_1_1_21_0_26240_0 <- 4640_994_1_1_21_0_26249_0
2713_1004_0_1_21_0_26241_0 <- 2709_1004_0_1_21_0_26250_0 , 2695_1002_0_1_21_0_26251_0
7832_983_5_1_21_0_26243_0 <- 5691_989_0_1_21_0_26253_0
7840_983_5_1_21_0_26293_0 <- 5691_989_0_1_21_0_26253_0
5261_979_1_1_21_0_26248_0 <- 5176_979_1_1_21_0_26256_0 , 7961_972_1_1_21_0_26307_0
4640_994_1_1_21_0_26249_0 <- 4573_998_1_1_21_0_26258_0 , 4597_994_1_1_21_0_26268_0
2709_1004_0_1_21_0_26250_0 <- 4476_999_1_1_21_0_26259_0
2695_1002_0_1_21_0_26251_0 <- 4476_999_1_1_21_0_26259_0
7961_983_0_1_21_0_26255_0 <- 7832_983_0_1_21_0_26262_0 , 7840_983_0_1_21_0_26309_0
5176_979_1_1_21_0_26256_0 <- 6898_984_1_1_21_0_26266_0
5184_979_1_1_21_0_26330_0 <- 6898_984_1_1_21_0_26266_0
4597_994_1_1_21_0_26268_0 <- 7511_986_0_1_21_0_26269_0
4573_998_1_1_21_0_26258_0 <- 7511_986_0_1_21_0_26269_0
4476_999_1_1_21_0_26259_0 <- 4417_999_1_1_21_0_26270_0 , 4468_999_1_1_21_0_26271_0
7832_983_0_1_21_0_26262_0 <- 5850_992_0_1_21_0_26274_0
7840_983_0_1_21_0_26309_0 <- 5850_992_0_1_21_0_26274_0
6898_984_1_1_21_0_26266_0 <- 6763_984_1_1_21_0_26276_0 , 6676_984_1_1_21_0_26289_0 , 6885_984_1_5_21_0_26465_0
7511_986_0_1_21_0_26269_0 <- 7351_986_0_1_21_0_26278_0 , 7367_986_0_1_21_0_26315_0
4417_999_1_1_21_0_26270_0 <- 2659_1008_0_1_21_0_26280_0
4468_999_1_1_21_0_26271_0 <- 2659_1008_0_1_21_0_26280_0
5586_990_0_1_21_0_26213_0 <- 5366_991_0_1_21_0_26283_0
5691_989_0_1_21_0_26253_0 <- 5366_991_0_1_21_0_26283_0
6693_984_1_5_21_0_26472_0 <- 6676_984_1_1_21_0_26289_0
7351_986_0_1_21_0_26278_0 <- 2739_1004_0_1_21_0_26292_0
7367_986_0_1_21_0_26315_0 <- 2739_1004_0_1_21_0_26292_0
9118_978_1_1_21_0_26288_0 <- 9112_978_1_1_21_0_26297_0 , 9102_977_1_1_21_0_26298_0
6676_984_1_1_21_0_26289_0 <- 6592_984_1_1_21_0_26299_0 , 4646_995_1_1_21_0_26306_0 , 6663_984_1_9_21_0_27523_0
6517_984_1_9_21_0_27537_0 <- 4646_995_1_1_21_0_26306_0
7961_972_1_1_21_0_26307_0 <- 7832_972_1_1_21_0_26310_0 , 7840_972_1_1_21_0_26327_0
9102_977_1_1_21_0_26298_0 <- 4698_995_1_1_21_0_26318_0
9112_978_1_1_21_0_26297_0 <- 4698_995_1_1_21_0_26318_0
7832_983_2_1_21_0_26246_0 <- 5952_993_0_1_21_0_26321_0
7840_983_2_1_21_0_26296_0 <- 5952_993_0_1_21_0_26321_0
7832_972_1_1_21_0_26310_0 <- 5184_979_1_1_21_0_26330_0
7840_972_1_1_21_0_26327_0 <- 5184_979_1_1_21_0_26330_0
6071_993_0_3_22_0_26332_0 <- 5944_993_0_3_22_0_26333_0 , 7961_983_2_3_22_0_26372_0
5944_993_0_3_22_0_26333_0 <- 5927_992_0_3_22_0_26334_0
5952_993_0_3_22_0_26455_0 <- 5927_992_0_3_22_0_26334_0
5927_992_0_3_22_0_26334_0 <- 5842_992_0_3_22_0_26336_0 , 7961_983_0_3_22_0_26389_0
5842_992_0_3_22_0_26336_0 <- 5733_991_0_3_22_0_26338_0
5850_992_0_3_22_0_26408_0 <- 5733_991_0_3_22_0_26338_0
5733_991_0_3_22_0_26338_0 <- 5340_991_0_3_22_0_26342_0 , 5730_989_0_3_22_0_26343_0
5340_991_0_3_22_0_26342_0 <- 2855_1004_0_3_22_0_26346_0
5366_991_0_3_22_0_26417_0 <- 2855_1004_0_3_22_0_26346_0
5730_989_0_3_22_0_26343_0 <- 5586_990_0_3_22_0_26347_0 , 7961_983_5_3_22_0_26371_0
2855_1004_0_3_22_0_26346_0 <- 7511_990_0_3_22_0_26351_0 , 4726_995_1_3_22_0_26360_0
7511_990_0_3_22_0_26351_0 <- 7351_990_0_3_22_0_26356_0 , 7367_990_0_3_22_0_26386_0
7351_990_0_3_22_0_26356_0 <- 2837_1004_0_3_22_0_26361_0
7367_990_0_3_22_0_26386_0 <- 2837_1004_0_3_22_0_26361_0
4726_995_1_3_22_0_26360_0 <- 4688_995_1_3_22_0_26364_0 , 9118_978_1_3_22_0_26422_0
4698_995_1_3_22_0_26452_0 <- 4688_995_1_3_22_0_26367_0
4688_995_1_3_22_0_26364_0 <- 4688_995_1_3_22_0_26367_0
4688_995_1_3_22_0_26367_0 <- 4640_994_1_3_22_0_26374_0 , 5261_979_1_3_22_0_26382_0
2739_1004_0_3_22_0_26426_0 <- 2713_1004_0_3_22_0_26375_0
2837_1004_0_3_22_0_26361_0 <- 2713_1004_0_3_22_0_26375_0
7961_983_5_3_22_0_26371_0 <- 7832_983_5_3_22_0_26377_0 , 7840_983_5_3_22_0_26427_0
7961_983_2_3_22_0_26372_0 <- 7832_983_2_3_22_0_26380_0 , 7840_983_2_3_22_0_26430_0
4646_995_1_3_22_0_26440_0 <- 4640_994_1_3_22_0_26383_0
4640_994_1_3_22_0_26374_0 <- 4640_994_1_3_22_0_26383_0
2713_1004_0_3_22_0_26375_0 <- 2709_1004_0_3_22_0_26384_0 , 2695_1002_0_3_22_0_26385_0
7832_983_5_3_22_0_26377_0 <- 5691_989_0_3_22_0_26387_0
7840_983_5_3_22_0_26427_0 <- 5691_989_0_3_22_0_26387_0
5261_979_1_3_22_0_26382_0 <- 5176_979_1_3_22_0_26390_0 , 7961_972_1_3_22_0_26441_0
4640_994_1_3_22_0_26383_0 <- 4573_998_1_3_22_0_26392_0 , 4597_994_1_3_22_0_26402_0
2709_1004_0_3_22_0_26384_0 <- 4476_999_1_3_22_0_26393_0
2695_1002_0_3_22_0_26385_0 <- 4476_999_1_3_22_0_26393_0
7961_983_0_3_22_0_26389_0 <- 7832_983_0_3_22_0_26396_0 , 7840_983_0_3_22_0_26443_0
5176_979_1_3_22_0_26390_0 <- 6898_984_1_3_22_0_26400_0
5184_979_1_3_22_0_26464_0 <- 6898_984_1_3_22_0_26400_0
4597_994_1_3_22_0_26402_0 <- 7511_986_0_3_22_0_26403_0
4573_998_1_3_22_0_26392_0 <- 7511_986_0_3_22_0_26403_0
4476_999_1_3_22_0_26393_0 <- 4417_999_1_3_22_0_26404_0 , 4468_999_1_3_22_0_26405_0
7832_983_0_3_22_0_26396_0 <- 5850_992_0_3_22_0_26408_0
7840_983_0_3_22_0_26443_0 <- 5850_992_0_3_22_0_26408_0
6898_984_1_3_22_0_26400_0 <- 6763_984_1_3_22_0_26410_0 , 6676_984_1_3_22_0_26423_0 , 6885_984_1_7_22_0_26994_0
7511_986_0_3_22_0_26403_0 <- 7351_986_0_3_22_0_26412_0 , 7367_986_0_3_22_0_26449_0
4417_999_1_3_22_0_26404_0 <- 2659_1008_0_3_22_0_26414_0
4468_999_1_3_22_0_26405_0 <- 2659_1008_0_3_22_0_26414_0
5586_990_0_3_22_0_26347_0 <- 5366_991_0_3_22_0_26417_0
5691_989_0_3_22_0_26387_0 <- 5366_991_0_3_22_0_26417_0
6693_984_1_7_22_0_27001_0 <- 6676_984_1_3_22_0_26423_0
7351_986_0_3_22_0_26412_0 <- 2739_1004_0_3_22_0_26426_0
7367_986_0_3_22_0_26449_0 <- 2739_1004_0_3_22_0_26426_0
9118_978_1_3_22_0_26422_0 <- 9112_978_1_3_22_0_26431_0 , 9102_977_1_3_22_0_26432_0
6676_984_1_3_22_0_26423_0 <- 6592_984_1_3_22_0_26433_0 , 4646_995_1_3_22_0_26440_0 , 6663_984_1_11_22_0_28086_0
6517_984_1_11_22_0_28100_0 <- 4646_995_1_3_22_0_26440_0
7961_972_1_3_22_0_26441_0 <- 7832_972_1_3_22_0_26444_0 , 7840_972_1_3_22_0_26461_0
9102_977_1_3_22_0_26432_0 <- 4698_995_1_3_22_0_26452_0
9112_978_1_3_22_0_26431_0 <- 4698_995_1_3_22_0_26452_0
7832_983_2_3_22_0_26380_0 <- 5952_993_0_3_22_0_26455_0
7840_983_2_3_22_0_26430_0 <- 5952_993_0_3_22_0_26455_0
7832_972_1_3_22_0_26444_0 <- 5184_979_1_3_22_0_26464_0
7840_972_1_3_22_0_26461_0 <- 5184_979_1_3_22_0_26464_0
6885_984_1_5_21_0_26465_0 <- 6724_984_1_5_21_0_26467_0 , 9050_974_1_5_21_0_26468_0
9050_974_1_5_21_0_26468_0 <- 8878_974_1_5_21_0_26470_0 , 8983_971_1_5_21_0_26471_0 , 9009_972_1_5_21_0_26518_0
6728_984_1_5_21_0_26607_0 <- 6693_984_1_5_21_0_26472_0
6724_984_1_5_21_0_26467_0 <- 6693_984_1_5_21_0_26472_0
8878_974_1_5_21_0_26470_0 <- 8860_977_1_5_21_0_26474_0
8886_974_1_5_21_0_26483_0 <- 8860_977_1_5_21_0_26474_0
8993_971_1_5_21_0_26629_0 <- 8962_972_1_5_21_0_26475_0
8983_971_1_5_21_0_26471_0 <- 8962_972_1_5_21_0_26475_0
8860_977_1_5_21_0_26474_0 <- 11442_963_1_5_21_0_26476_0 , 12484_955_1_5_21_0_26477_0
12484_955_1_5_21_0_26477_0 <- 12276_955_1_5_21_0_26481_0 , 12315_954_1_5_21_0_26482_0 , 12621_943_1_5_21_0_26494_0
8920_972_1_5_21_0_26643_0 <- 8886_974_1_5_21_0_26483_0
8962_972_1_5_21_0_26475_0 <- 8886_974_1_5_21_0_26483_0
12315_954_1_5_21_0_26482_0 <- 12283_955_1_5_21_0_26490_0
12323_954_1_5_21_0_26547_0 <- 12283_955_1_5_21_0_26490_0
11442_963_1_5_21_0_26476_0 <- 12621_955_1_5_21_0_26492_0 , 12621_956_1_5_21_0_26493_0
12621_955_1_5_21_0_26492_0 <- 12504_955_1_5_21_0_26496_0 , 12512_955_1_5_21_0_26509_0
12621_956_1_5_21_0_26493_0 <- 12504_956_1_5_21_0_26498_0 , 12512_956_1_5_21_0_26510_0
12621_943_1_5_21_0_26494_0 <- 12504_943_1_5_21_0_26500_0 , 12512_943_1_5_21_0_26513_0
12504_955_1_5_21_0_26496_0 <- 11311_963_1_5_21_0_26503_0
12512_955_1_5_21_0_26509_0 <- 11311_963_1_5_21_0_26503_0
12504_956_1_5_21_0_26498_0 <- 11378_963_1_5_21_0_26504_0
12512_956_1_5_21_0_26510_0 <- 11378_963_1_5_21_0_26504_0
12276_955_1_5_21_0_26481_0 <- 8659_974_1_5_21_0_26505_0
12283_955_1_5_21_0_26490_0 <- 8659_974_1_5_21_0_26505_0
8684_974_1_5_21_0_26619_0 <- 9786_969_1_5_21_0_26511_0
8659_974_1_5_21_0_26505_0 <- 9786_969_1_5_21_0_26511_0
9786_969_1_5_21_0_26511_0 <- 9675_966_1_5_21_0_26515_0 , 9698_966_1_5_21_0_26516_0
11378_963_1_5_21_0_26504_0 <- 11272_967_1_5_21_0_26519_0
11311_963_1_5_21_0_26503_0 <- 11272_967_1_5_21_0_26519_0
11272_967_1_5_21_0_26519_0 <- 11111_967_1_5_21_0_26523_0 , 11119_967_1_5_21_0_26557_0
9009_972_1_5_21_0_26518_0 <- 13139_960_1_5_21_0_26524_0 , 13139_961_1_5_21_0_26525_0
13139_960_1_5_21_0_26524_0 <- 13115_960_1_5_21_0_26526_0 , 13051_963_1_5_21_0_26527_0
13139_961_1_5_21_0_26525_0 <- 13115_961_1_5_21_0_26528_0 , 13051_964_1_5_21_0_26529_0
11111_967_1_5_21_0_26523_0 <- 12484_953_1_5_21_0_26530_0
11119_967_1_5_21_0_26557_0 <- 12484_953_1_5_21_0_26530_0
12504_943_1_5_21_0_26500_0 <- 12621_947_1_5_21_0_26532_0
12512_943_1_5_21_0_26513_0 <- 12621_947_1_5_21_0_26532_0
13115_960_1_5_21_0_26526_0 <- 13046_963_1_5_21_0_26533_0
13051_963_1_5_21_0_26527_0 <- 13046_963_1_5_21_0_26533_0
13115_961_1_5_21_0_26528_0 <- 13046_964_1_5_21_0_26534_0
13051_964_1_5_21_0_26529_0 <- 13046_964_1_5_21_0_26534_0
12484_953_1_5_21_0_26530_0 <- 12276_953_1_5_21_0_26535_0 , 12315_952_1_5_21_0_26536_0 , 12621_941_1_5_21_0_26566_0
12621_947_1_5_21_0_26532_0 <- 12504_947_1_5_21_0_26538_0 , 12512_947_1_5_21_0_26559_0
13046_963_1_5_21_0_26533_0 <- 13000_963_1_5_21_0_26540_0 , 16298_960_1_5_21_0_26541_0
13046_964_1_5_21_0_26534_0 <- 13000_964_1_5_21_0_26542_0 , 16298_961_1_5_21_0_26543_0
12504_947_1_5_21_0_26538_0 <- 12323_954_1_5_21_0_26547_0
12512_947_1_5_21_0_26559_0 <- 12323_954_1_5_21_0_26547_0
16298_960_1_5_21_0_26541_0 <- 13301_960_1_5_21_0_26549_0 , 13309_960_1_5_21_0_26992_0
16298_961_1_5_21_0_26543_0 <- 13301_961_1_5_21_0_26552_0 , 13309_961_1_5_21_0_26993_0
12315_952_1_5_21_0_26536_0 <- 12283_953_1_5_21_0_26555_0
12323_952_1_5_21_0_26641_0 <- 12283_953_1_5_21_0_26555_0
13000_963_1_5_21_0_26540_0 <- 12911_960_1_5_21_0_26568_0
13008_963_1_5_21_0_26569_0 <- 12911_960_1_5_21_0_26568_0
13301_960_1_5_21_0_26549_0 <- 13008_963_1_5_21_0_26569_0
13309_960_1_5_21_0_26992_0 <- 13008_963_1_5_21_0_26569_0
13000_964_1_5_21_0_26542_0 <- 12911_961_1_5_21_0_26572_0
13008_964_1_5_21_0_26573_0 <- 12911_961_1_5_21_0_26572_0
13301_961_1_5_21_0_26552_0 <- 13008_964_1_5_21_0_26573_0
13309_961_1_5_21_0_26993_0 <- 13008_964_1_5_21_0_26573_0
12621_941_1_5_21_0_26566_0 <- 12504_941_1_5_21_0_26576_0 , 12512_941_1_5_21_0_26594_0
12911_960_1_5_21_0_26568_0 <- 12887_960_1_5_21_0_26579_0 , 12838_959_1_5_21_0_26580_0
12911_961_1_5_21_0_26572_0 <- 12887_961_1_5_21_0_26582_0 , 12838_960_1_5_21_0_26583_0
9726_967_1_0_21_0_25214_0 <- 6767_984_1_5_21_0_26595_0 , 9712_966_1_49_21_0_29798_0
9636_967_1_49_21_0_29801_0 <- 6767_984_1_5_21_0_26595_0
6767_984_1_5_21_0_26595_0 <- 6728_984_1_5_21_0_26607_0
6763_984_1_1_21_0_26276_0 <- 6728_984_1_5_21_0_26607_0
12887_960_1_5_21_0_26579_0 <- 12621_959_1_5_21_0_26615_0
12838_959_1_5_21_0_26580_0 <- 12621_959_1_5_21_0_26615_0
12887_961_1_5_21_0_26582_0 <- 12621_960_1_5_21_0_26617_0
12838_960_1_5_21_0_26583_0 <- 12621_960_1_5_21_0_26617_0
12276_953_1_5_21_0_26535_0 <- 8684_974_1_5_21_0_26619_0
12283_953_1_5_21_0_26555_0 <- 8684_974_1_5_21_0_26619_0
12621_959_1_5_21_0_26615_0 <- 12504_959_1_5_21_0_26620_0 , 12512_959_1_5_21_0_26635_0
12621_960_1_5_21_0_26617_0 <- 12504_960_1_5_21_0_26624_0 , 12512_960_1_5_21_0_26638_0
12504_941_1_5_21_0_26576_0 <- 12621_945_1_5_21_0_26628_0
12512_941_1_5_21_0_26594_0 <- 12621_945_1_5_21_0_26628_0
12504_959_1_5_21_0_26620_0 <- 8993_971_1_5_21_0_26629_0
12512_959_1_5_21_0_26635_0 <- 8993_971_1_5_21_0_26629_0
12621_945_1_5_21_0_26628_0 <- 12504_945_1_5_21_0_26633_0 , 12512_945_1_5_21_0_26645_0
12504_945_1_5_21_0_26633_0 <- 12323_952_1_5_21_0_26641_0
12512_945_1_5_21_0_26645_0 <- 12323_952_1_5_21_0_26641_0
12504_960_1_5_21_0_26624_0 <- 8920_972_1_5_21_0_26643_0
12512_960_1_5_21_0_26638_0 <- 8920_972_1_5_21_0_26643_0
6885_984_1_7_22_0_26994_0 <- 6724_984_1_7_22_0_26996_0 , 9050_974_1_7_22_0_26997_0
9050_974_1_7_22_0_26997_0 <- 8878_974_1_7_22_0_26999_0 , 8983_971_1_7_22_0_27000_0 , 9009_972_1_7_22_0_27047_0
6728_984_1_7_22_0_27136_0 <- 6693_984_1_7_22_0_27001_0
6724_984_1_7_22_0_26996_0 <- 6693_984_1_7_22_0_27001_0
8878_974_1_7_22_0_26999_0 <- 8860_977_1_7_22_0_27003_0
8886_974_1_7_22_0_27012_0 <- 8860_977_1_7_22_0_27003_0
8993_971_1_7_22_0_27158_0 <- 8962_972_1_7_22_0_27004_0
8983_971_1_7_22_0_27000_0 <- 8962_972_1_7_22_0_27004_0
8860_977_1_7_22_0_27003_0 <- 11442_963_1_7_22_0_27005_0 , 12484_955_1_7_22_0_27006_0
12484_955_1_7_22_0_27006_0 <- 12276_955_1_7_22_0_27010_0 , 12315_954_1_7_22_0_27011_0 , 12621_943_1_7_22_0_27023_0
8920_972_1_7_22_0_27172_0 <- 8886_974_1_7_22_0_27012_0
8962_972_1_7_22_0_27004_0 <- 8886_974_1_7_22_0_27012_0
12315_954_1_7_22_0_27011_0 <- 12283_955_1_7_22_0_27019_0
12323_954_1_7_22_0_27076_0 <- 12283_955_1_7_22_0_27019_0
11442_963_1_7_22_0_27005_0 <- 12621_955_1_7_22_0_27021_0 , 12621_956_1_7_22_0_27022_0
12621_955_1_7_22_0_27021_0 <- 12504_955_1_7_22_0_27025_0 , 12512_955_1_7_22_0_27038_0
12621_956_1_7_22_0_27022_0 <- 12504_956_1_7_22_0_27027_0 , 12512_956_1_7_22_0_27039_0
12621_943_1_7_22_0_27023_0 <- 12504_943_1_7_22_0_27029_0 , 12512_943_1_7_22_0_27042_0
12504_955_1_7_22_0_27025_0 <- 11311_963_1_7_22_0_27032_0
12512_955_1_7_22_0_27038_0 <- 11311_963_1_7_22_0_27032_0
12504_956_1_7_22_0_27027_0 <- 11378_963_1_7_22_0_27033_0
12512_956_1_7_22_0_27039_0 <- 11378_963_1_7_22_0_27033_0
12276_955_1_7_22_0_27010_0 <- 8659_974_1_7_22_0_27034_0
12283_955_1_7_22_0_27019_0 <- 8659_974_1_7_22_0_27034_0
8684_974_1_7_22_0_27148_0 <- 9786_969_1_7_22_0_27040_0
8659_974_1_7_22_0_27034_0 <- 9786_969_1_7_22_0_27040_0
9786_969_1_7_22_0_27040_0 <- 9675_966_1_7_22_0_27044_0 , 9698_966_1_7_22_0_27045_0
11378_963_1_7_22_0_27033_0 <- 11272_967_1_7_22_0_27048_0
11311_963_1_7_22_0_27032_0 <- 11272_967_1_7_22_0_27048_0
11272_967_1_7_22_0_27048_0 <- 11111_967_1_7_22_0_27052_0 , 11119_967_1_7_22_0_27086_0
9009_972_1_7_22_0_27047_0 <- 13139_960_1_7_22_0_27053_0 , 13139_961_1_7_22_0_27054_0
13139_960_1_7_22_0_27053_0 <- 13115_960_1_7_22_0_27055_0 , 13051_963_1_7_22_0_27056_0
13139_961_1_7_22_0_27054_0 <- 13115_961_1_7_22_0_27057_0 , 13051_964_1_7_22_0_27058_0
11111_967_1_7_22_0_27052_0 <- 12484_953_1_7_22_0_27059_0
11119_967_1_7_22_0_27086_0 <- 12484_953_1_7_22_0_27059_0
12504_943_1_7_22_0_27029_0 <- 12621_947_1_7_22_0_27061_0
12512_943_1_7_22_0_27042_0 <- 12621_947_1_7_22_0_27061_0
13115_960_1_7_22_0_27055_0 <- 13046_963_1_7_22_0_27062_0
13051_963_1_7_22_0_27056_0 <- 13046_963_1_7_22_0_27062_0
13115_961_1_7_22_0_27057_0 <- 13046_964_1_7_22_0_27063_0
13051_964_1_7_22_0_27058_0 <- 13046_964_1_7_22_0_27063_0
12484_953_1_7_22_0_27059_0 <- 12276_953_1_7_22_0_27064_0 , 12315_952_1_7_22_0_27065_0 , 12621_941_1_7_22_0_27095_0
12621_947_1_7_22_0_27061_0 <- 12504_947_1_7_22_0_27067_0 , 12512_947_1_7_22_0_27088_0
13046_963_1_7_22_0_27062_0 <- 13000_963_1_7_22_0_27069_0 , 16298_960_1_7_22_0_27070_0
13046_964_1_7_22_0_27063_0 <- 13000_964_1_7_22_0_27071_0 , 16298_961_1_7_22_0_27072_0
12504_947_1_7_22_0_27067_0 <- 12323_954_1_7_22_0_27076_0
12512_947_1_7_22_0_27088_0 <- 12323_954_1_7_22_0_27076_0
16298_960_1_7_22_0_27070_0 <- 13301_960_1_7_22_0_27078_0 , 13309_960_1_7_22_0_27521_0
16298_961_1_7_22_0_27072_0 <- 13301_961_1_7_22_0_27081_0 , 13309_961_1_7_22_0_27522_0
12315_952_1_7_22_0_27065_0 <- 12283_953_1_7_22_0_27084_0
12323_952_1_7_22_0_27170_0 <- 12283_953_1_7_22_0_27084_0
13000_963_1_7_22_0_27069_0 <- 12911_960_1_7_22_0_27097_0
13008_963_1_7_22_0_27098_0 <- 12911_960_1_7_22_0_27097_0
13301_960_1_7_22_0_27078_0 <- 13008_963_1_7_22_0_27098_0
13309_960_1_7_22_0_27521_0 <- 13008_963_1_7_22_0_27098_0
13000_964_1_7_22_0_27071_0 <- 12911_961_1_7_22_0_27101_0
13008_964_1_7_22_0_27102_0 <- 12911_961_1_7_22_0_27101_0
13301_961_1_7_22_0_27081_0 <- 13008_964_1_7_22_0_27102_0
13309_961_1_7_22_0_27522_0 <- 13008_964_1_7_22_0_27102_0
12621_941_1_7_22_0_27095_0 <- 12504_941_1_7_22_0_27105_0 , 12512_941_1_7_22_0_27123_0
12911_960_1_7_22_0_27097_0 <- 12887_960_1_7_22_0_27108_0 , 12838_959_1_7_22_0_27109_0
12911_961_1_7_22_0_27101_0 <- 12887_961_1_7_22_0_27111_0 , 12838_960_1_7_22_0_27112_0
9726_967_1_0_22_0_25518_0 <- 6767_984_1_7_22_0_27124_0 , 9712_966_1_53_22_0_29806_0
9636_967_1_53_22_0_29809_0 <- 6767_984_1_7_22_0_27124_0
6767_984_1_7_22_0_27124_0 <- 6728_984_1_7_22_0_27136_0
6763_984_1_3_22_0_26410_0 <- 6728_984_1_7_22_0_27136_0
12887_960_1_7_22_0_27108_0 <- 12621_959_1_7_22_0_27144_0
12838_959_1_7_22_0_27109_0 <- 12621_959_1_7_22_0_27144_0
12887_961_1_7_22_0_27111_0 <- 12621_960_1_7_22_0_27146_0
12838_960_1_7_22_0_27112_0 <- 12621_960_1_7_22_0_27146_0
12276_953_1_7_22_0_27064_0 <- 8684_974_1_7_22_0_27148_0
12283_953_1_7_22_0_27084_0 <- 8684_974_1_7_22_0_27148_0
12621_959_1_7_22_0_27144_0 <- 12504_959_1_7_22_0_27149_0 , 12512_959_1_7_22_0_27164_0
12621_960_1_7_22_0_27146_0 <- 12504_960_1_7_22_0_27153_0 , 12512_960_1_7_22_0_27167_0
12504_941_1_7_22_0_27105_0 <- 12621_945_1_7_22_0_27157_0
12512_941_1_7_22_0_27123_0 <- 12621_945_1_7_22_0_27157_0
12504_959_1_7_22_0_27149_0 <- 8993_971_1_7_22_0_27158_0
12512_959_1_7_22_0_27164_0 <- 8993_971_1_7_22_0_27158_0
12621_945_1_7_22_0_27157_0 <- 12504_945_1_7_22_0_27162_0 , 12512_945_1_7_22_0_27174_0
12504_945_1_7_22_0_27162_0 <- 12323_952_1_7_22_0_27170_0
12512_945_1_7_22_0_27174_0 <- 12323_952_1_7_22_0_27170_0
12504_960_1_7_22_0_27153_0 <- 8920_972_1_7_22_0_27172_0
12512_960_1_7_22_0_27167_0 <- 8920_972_1_7_22_0_27172_0
6663_984_1_9_21_0_27523_0 <- 6553_984_1_9_21_0_27525_0 , 8605_973_1_9_21_0_27528_0
8605_973_1_9_21_0_27528_0 <- 9050_962_1_9_21_0_27532_0 , 8434_970_1_9_21_0_27539_0
9050_962_1_9_21_0_27532_0 <- 8878_962_1_9_21_0_27535_0 , 8983_959_1_9_21_0_27536_0 , 9009_960_1_9_21_0_27562_0
6557_984_1_9_21_0_27887_0 <- 6517_984_1_9_21_0_27537_0
6553_984_1_9_21_0_27525_0 <- 6517_984_1_9_21_0_27537_0
8878_962_1_9_21_0_27535_0 <- 8524_970_1_9_21_0_27540_0
8886_962_1_9_21_0_27546_0 <- 8524_970_1_9_21_0_27540_0
8993_959_1_9_21_0_27659_0 <- 8962_960_1_9_21_0_27541_0
8983_959_1_9_21_0_27536_0 <- 8962_960_1_9_21_0_27541_0
8920_960_1_9_21_0_27670_0 <- 8886_962_1_9_21_0_27546_0
8962_960_1_9_21_0_27541_0 <- 8886_962_1_9_21_0_27546_0
9009_960_1_9_21_0_27562_0 <- 13139_948_2_9_21_0_27566_0 , 13139_949_1_9_21_0_27567_0
13139_948_2_9_21_0_27566_0 <- 13115_948_2_9_21_0_27568_0 , 13051_951_2_9_21_0_27569_0
13139_949_1_9_21_0_27567_0 <- 13115_949_1_9_21_0_27570_0 , 13051_952_1_9_21_0_27571_0
13115_948_2_9_21_0_27568_0 <- 13046_951_2_9_21_0_27572_0
13051_951_2_9_21_0_27569_0 <- 13046_951_2_9_21_0_27572_0
13115_949_1_9_21_0_27570_0 <- 13046_952_1_9_21_0_27573_0
13051_952_1_9_21_0_27571_0 <- 13046_952_1_9_21_0_27573_0
13046_951_2_9_21_0_27572_0 <- 13000_951_2_9_21_0_27574_0 , 16298_948_2_9_21_0_27575_0
13046_952_1_9_21_0_27573_0 <- 13000_952_1_9_21_0_27576_0 , 16298_949_1_9_21_0_27577_0
16298_948_2_9_21_0_27575_0 <- 13301_948_2_9_21_0_27579_0 , 13309_948_2_9_21_0_28084_0
16298_949_1_9_21_0_27577_0 <- 13301_949_1_9_21_0_27582_0 , 13309_949_1_9_21_0_28085_0
8434_970_1_9_21_0_27539_0 <- 7961_947_1_9_21_0_27584_0
8524_970_1_9_21_0_27540_0 <- 7961_947_1_9_21_0_27584_0
7961_947_1_9_21_0_27584_0 <- 7832_947_1_9_21_0_27591_0 , 7840_947_1_9_21_0_27634_0
13000_951_2_9_21_0_27574_0 <- 12911_948_2_9_21_0_27593_0
13008_951_2_9_21_0_27594_0 <- 12911_948_2_9_21_0_27593_0
13301_948_2_9_21_0_27579_0 <- 13008_951_2_9_21_0_27594_0
13309_948_2_9_21_0_28084_0 <- 13008_951_2_9_21_0_27594_0
13000_952_1_9_21_0_27576_0 <- 12911_949_1_9_21_0_27597_0
13008_952_1_9_21_0_27598_0 <- 12911_949_1_9_21_0_27597_0
13301_949_1_9_21_0_27582_0 <- 13008_952_1_9_21_0_27598_0
13309_949_1_9_21_0_28085_0 <- 13008_952_1_9_21_0_27598_0
7832_947_1_9_21_0_27591_0 <- 7961_945_1_9_21_0_27601_0
7840_947_1_9_21_0_27634_0 <- 7961_945_1_9_21_0_27601_0
12911_948_2_9_21_0_27593_0 <- 12887_948_2_9_21_0_27602_0 , 12838_947_2_9_21_0_27603_0
12911_949_1_9_21_0_27597_0 <- 12887_949_1_9_21_0_27605_0 , 12838_948_1_9_21_0_27606_0
7961_945_1_9_21_0_27601_0 <- 7832_945_1_9_21_0_27608_0 , 7840_945_1_9_21_0_27646_0
12887_948_2_9_21_0_27602_0 <- 12621_947_4_9_21_0_27647_0
12838_947_2_9_21_0_27603_0 <- 12621_947_4_9_21_0_27647_0
12887_949_1_9_21_0_27605_0 <- 12621_948_1_9_21_0_27649_0
12838_948_1_9_21_0_27606_0 <- 12621_948_1_9_21_0_27649_0
12621_947_4_9_21_0_27647_0 <- 12504_947_4_9_21_0_27651_0 , 12512_947_4_9_21_0_27663_0
12621_948_1_9_21_0_27649_0 <- 12504_948_1_9_21_0_27655_0 , 12512_948_1_9_21_0_27666_0
12504_947_4_9_21_0_27651_0 <- 8993_959_1_9_21_0_27659_0
12512_947_4_9_21_0_27663_0 <- 8993_959_1_9_21_0_27659_0
12504_948_1_9_21_0_27655_0 <- 8920_960_1_9_21_0_27670_0
12512_948_1_9_21_0_27666_0 <- 8920_960_1_9_21_0_27670_0
7832_945_1_9_21_0_27608_0 <- 7961_948_1_9_21_0_27676_0
7840_945_1_9_21_0_27646_0 <- 7961_948_1_9_21_0_27676_0
7961_948_1_9_21_0_27676_0 <- 7832_948_1_9_21_0_27679_0 , 7840_948_1_9_21_0_27709_0
7832_948_1_9_21_0_27679_0 <- 7961_946_1_9_21_0_27685_0
7840_948_1_9_21_0_27709_0 <- 7961_946_1_9_21_0_27685_0
7961_946_1_9_21_0_27685_0 <- 7832_946_1_9_21_0_27688_0 , 7840_946_1_9_21_0_27721_0
7832_946_1_9_21_0_27688_0 <- 9996_963_1_9_21_0_27712_0
7840_946_1_9_21_0_27721_0 <- 9996_963_1_9_21_0_27712_0
9996_963_1_9_21_0_27712_0 <- 9986_963_1_9_21_0_27719_0 , 9979_963_1_9_21_0_27720_0
9986_963_1_9_21_0_27719_0 <- 12484_940_1_9_21_0_27737_0
9979_963_1_9_21_0_27720_0 <- 12484_940_1_9_21_0_27737_0
12484_940_1_9_21_0_27737_0 <- 12276_940_1_9_21_0_27740_0 , 12315_939_1_9_21_0_27741_0 , 12621_928_1_9_21_0_27756_0
12315_939_1_9_21_0_27741_0 <- 12283_940_1_9_21_0_27750_0
12323_939_1_9_21_0_27796_0 <- 12283_940_1_9_21_0_27750_0
12621_928_1_9_21_0_27756_0 <- 12504_928_1_9_21_0_27759_0 , 12512_928_1_9_21_0_27771_0
12504_928_1_9_21_0_27759_0 <- 12621_929_1_9_21_0_27765_0
12512_928_1_9_21_0_27771_0 <- 12621_929_1_9_21_0_27765_0
12621_929_1_9_21_0_27765_0 <- 12504_929_1_9_21_0_27769_0 , 12512_929_1_9_21_0_27779_0
12504_929_1_9_21_0_27769_0 <- 12621_932_1_9_21_0_27786_0
12512_929_1_9_21_0_27779_0 <- 12621_932_1_9_21_0_27786_0
12621_932_1_9_21_0_27786_0 <- 12504_932_1_9_21_0_27791_0 , 12512_932_1_9_21_0_27801_0
12504_932_1_9_21_0_27791_0 <- 12323_939_1_9_21_0_27796_0
12512_932_1_9_21_0_27801_0 <- 12323_939_1_9_21_0_27796_0
12276_940_1_9_21_0_27740_0 <- 9786_964_1_9_21_0_27811_0
12283_940_1_9_21_0_27750_0 <- 9786_964_1_9_21_0_27811_0
9786_964_1_9_21_0_27811_0 <- 9675_961_1_9_21_0_27816_0 , 9698_961_1_9_21_0_27817_0
9726_962_1_0_21_0_25213_0 <- 8178_971_1_9_21_0_27858_0 , 9712_961_1_47_21_0_29794_0
9636_962_1_47_21_0_29797_0 <- 8178_971_1_9_21_0_27858_0
8178_971_1_9_21_0_27858_0 <- 8168_971_1_9_21_0_27861_0 , 8161_971_1_9_21_0_27862_0
8168_971_1_9_21_0_27861_0 <- 6596_984_1_9_21_0_27879_0
8161_971_1_9_21_0_27862_0 <- 6596_984_1_9_21_0_27879_0
6596_984_1_9_21_0_27879_0 <- 6557_984_1_9_21_0_27887_0
6592_984_1_1_21_0_26299_0 <- 6557_984_1_9_21_0_27887_0
6663_984_1_11_22_0_28086_0 <- 6553_984_1_11_22_0_28088_0 , 8605_973_1_11_22_0_28091_0
8605_973_1_11_22_0_28091_0 <- 9050_962_1_11_22_0_28095_0 , 8434_970_1_11_22_0_28102_0
9050_962_1_11_22_0_28095_0 <- 8878_962_1_11_22_0_28098_0 , 8983_959_1_11_22_0_28099_0 , 9009_960_1_11_22_0_28125_0
6557_984_1_11_22_0_28450_0 <- 6517_984_1_11_22_0_28100_0
6553_984_1_11_22_0_28088_0 <- 6517_984_1_11_22_0_28100_0
8878_962_1_11_22_0_28098_0 <- 8524_970_1_11_22_0_28103_0
8886_962_1_11_22_0_28109_0 <- 8524_970_1_11_22_0_28103_0
8993_959_1_11_22_0_28222_0 <- 8962_960_1_11_22_0_28104_0
8983_959_1_11_22_0_28099_0 <- 8962_960_1_11_22_0_28104_0
8920_960_1_11_22_0_28233_0 <- 8886_962_1_11_22_0_28109_0
8962_960_1_11_22_0_28104_0 <- 8886_962_1_11_22_0_28109_0
9009_960_1_11_22_0_28125_0 <- 13139_948_2_11_22_0_28129_0 , 13139_949_1_11_22_0_28130_0
13139_948_2_11_22_0_28129_0 <- 13115_948_2_11_22_0_28131_0 , 13051_951_2_11_22_0_28132_0
13139_949_1_11_22_0_28130_0 <- 13115_949_1_11_22_0_28133_0 , 13051_952_1_11_22_0_28134_0
13115_948_2_11_22_0_28131_0 <- 13046_951_2_11_22_0_28135_0
13051_951_2_11_22_0_28132_0 <- 13046_951_2_11_22_0_28135_0
13115_949_1_11_22_0_28133_0 <- 13046_952_1_11_22_0_28136_0
13051_952_1_11_22_0_28134_0 <- 13046_952_1_11_22_0_28136_0
13046_951_2_11_22_0_28135_0 <- 13000_951_2_11_22_0_28137_0 , 16298_948_2_11_22_0_28138_0
13046_952_1_11_22_0_28136_0 <- 13000_952_1_11_22_0_28139_0 , 16298_949_1_11_22_0_28140_0
16298_948_2_11_22_0_28138_0 <- 13301_948_2_11_22_0_28142_0 , 13309_948_2_11_22_0_28647_0
16298_949_1_11_22_0_28140_0 <- 13301_949_1_11_22_0_28145_0 , 13309_949_1_11_22_0_28648_0
8434_970_1_11_22_0_28102_0 <- 7961_947_1_11_22_0_28147_0
8524_970_1_11_22_0_28103_0 <- 7961_947_1_11_22_0_28147_0
7961_947_1_11_22_0_28147_0 <- 7832_947_1_11_22_0_28154_0 , 7840_947_1_11_22_0_28197_0
13000_951_2_11_22_0_28137_0 <- 12911_948_2_11_22_0_28156_0
13008_951_2_11_22_0_28157_0 <- 12911_948_2_11_22_0_28156_0
13301_948_2_11_22_0_28142_0 <- 13008_951_2_11_22_0_28157_0
13309_948_2_11_22_0_28647_0 <- 13008_951_2_11_22_0_28157_0
13000_952_1_11_22_0_28139_0 <- 12911_949_1_11_22_0_28160_0
13008_952_1_11_22_0_28161_0 <- 12911_949_1_11_22_0_28160_0
13301_949_1_11_22_0_28145_0 <- 13008_952_1_11_22_0_28161_0
13309_949_1_11_22_0_28648_0 <- 13008_952_1_11_22_0_28161_0
7832_947_1_11_22_0_28154_0 <- 7961_945_1_11_22_0_28164_0
7840_947_1_11_22_0_28197_0 <- 7961_945_1_11_22_0_28164_0
12911_948_2_11_22_0_28156_0 <- 12887_948_2_11_22_0_28165_0 , 12838_947_2_11_22_0_28166_0
12911_949_1_11_22_0_28160_0 <- 12887_949_1_11_22_0_28168_0 , 12838_948_1_11_22_0_28169_0
7961_945_1_11_22_0_28164_0 <- 7832_945_1_11_22_0_28171_0 , 7840_945_1_11_22_0_28209_0
12887_948_2_11_22_0_28165_0 <- 12621_947_4_11_22_0_28210_0
12838_947_2_11_22_0_28166_0 <- 12621_947_4_11_22_0_28210_0
12887_949_1_11_22_0_28168_0 <- 12621_948_1_11_22_0_28212_0
12838_948_1_11_22_0_28169_0 <- 12621_948_1_11_22_0_28212_0
12621_947_4_11_22_0_28210_0 <- 12504_947_4_11_22_0_28214_0 , 12512_947_4_11_22_0_28226_0
12621_948_1_11_22_0_28212_0 <- 12504_948_1_11_22_0_28218_0 , 12512_948_1_11_22_0_28229_0
12504_947_4_11_22_0_28214_0 <- 8993_959_1_11_22_0_28222_0
12512_947_4_11_22_0_28226_0 <- 8993_959_1_11_22_0_28222_0
12504_948_1_11_22_0_28218_0 <- 8920_960_1_11_22_0_28233_0
12512_948_1_11_22_0_28229_0 <- 8920_960_1_11_22_0_28233_0
7832_945_1_11_22_0_28171_0 <- 7961_948_1_11_22_0_28239_0
7840_945_1_11_22_0_28209_0 <- 7961_948_1_11_22_0_28239_0
7961_948_1_11_22_0_28239_0 <- 7832_948_1_11_22_0_28242_0 , 7840_948_1_11_22_0_28272_0
7832_948_1_11_22_0_28242_0 <- 7961_946_1_11_22_0_28248_0
7840_948_1_11_22_0_28272_0 <- 7961_946_1_11_22_0_28248_0
7961_946_1_11_22_0_28248_0 <- 7832_946_1_11_22_0_28251_0 , 7840_946_1_11_22_0_28284_0
7832_946_1_11_22_0_28251_0 <- 9996_963_1_11_22_0_28275_0
7840_946_1_11_22_0_28284_0 <- 9996_963_1_11_22_0_28275_0
9996_963_1_11_22_0_28275_0 <- 9986_963_1_11_22_0_28282_0 , 9979_963_1_11_22_0_28283_0
9986_963_1_11_22_0_28282_0 <- 12484_940_1_11_22_0_28300_0
9979_963_1_11_22_0_28283_0 <- 12484_940_1_11_22_0_28300_0
12484_940_1_11_22_0_28300_0 <- 12276_940_1_11_22_0_28303_0 , 12315_939_1_11_22_0_28304_0 , 12621_928_1_11_22_0_28319_0
12315_939_1_11_22_0_28304_0 <- 12283_940_1_11_22_0_28313_0
12323_939_1_11_22_0_28359_0 <- 12283_940_1_11_22_0_28313_0
12621_928_1_11_22_0_28319_0 <- 12504_928_1_11_22_0_28322_0 , 12512_928_1_11_22_0_28334_0
12504_928_1_11_22_0_28322_0 <- 12621_929_1_11_22_0_28328_0
12512_928_1_11_22_0_28334_0 <- 12621_929_1_11_22_0_28328_0
12621_929_1_11_22_0_28328_0 <- 12504_929_1_11_22_0_28332_0 , 12512_929_1_11_22_0_28342_0
12504_929_1_11_22_0_28332_0 <- 12621_932_1_11_22_0_28349_0
12512_929_1_11_22_0_28342_0 <- 12621_932_1_11_22_0_28349_0
12621_932_1_11_22_0_28349_0 <- 12504_932_1_11_22_0_28354_0 , 12512_932_1_11_22_0_28364_0
12504_932_1_11_22_0_28354_0 <- 12323_939_1_11_22_0_28359_0
12512_932_1_11_22_0_28364_0 <- 12323_939_1_11_22_0_28359_0
12276_940_1_11_22_0_28303_0 <- 9786_964_1_11_22_0_28374_0
12283_940_1_11_22_0_28313_0 <- 9786_964_1_11_22_0_28374_0
9786_964_1_11_22_0_28374_0 <- 9675_961_1_11_22_0_28379_0 , 9698_961_1_11_22_0_28380_0
9726_962_1_0_22_0_25517_0 <- 8178_971_1_11_22_0_28421_0 , 9712_961_1_51_22_0_29802_0
9636_962_1_51_22_0_29805_0 <- 8178_971_1_11_22_0_28421_0
8178_971_1_11_22_0_28421_0 <- 8168_971_1_11_22_0_28424_0 , 8161_971_1_11_22_0_28425_0
8168_971_1_11_22_0_28424_0 <- 6596_984_1_11_22_0_28442_0
8161_971_1_11_22_0_28425_0 <- 6596_984_1_11_22_0_28442_0
6596_984_1_11_22_0_28442_0 <- 6557_984_1_11_22_0_28450_0
6592_984_1_3_22_0_26433_0 <- 6557_984_1_11_22_0_28450_0
2144_1003_0_13_23_0_28649_0 <- 1714_1003_0_13_23_0_28650_0 , 6999_986_0_13_23_0_28651_0
6999_986_0_13_23_0_28651_0 <- 6965_988_0_13_23_0_28654_0 , 7213_982_0_13_23_0_28659_0
1714_1003_0_13_23_0_28650_0 <- 1682_1003_0_13_23_0_28655_0
1718_1003_0_13_23_0_28732_0 <- 1682_1003_0_13_23_0_28655_0
7213_982_0_13_23_0_28659_0 <- 7200_982_0_13_23_0_28661_0 , 7191_982_0_13_23_0_28662_0
7191_982_0_13_23_0_28662_0 <- 7191_982_0_13_23_0_28665_0
7200_982_0_13_23_0_28661_0 <- 7191_982_0_13_23_0_28665_0
7191_982_0_13_23_0_28665_0 <- 7178_982_0_13_23_0_28667_0 , 7169_982_0_13_23_0_28668_0
7169_982_0_13_23_0_28668_0 <- 7169_982_0_13_23_0_28670_0
7178_982_0_13_23_0_28667_0 <- 7169_982_0_13_23_0_28670_0
7169_982_0_13_23_0_28670_0 <- 7156_982_0_13_23_0_28673_0 , 7146_982_0_13_23_0_28674_0
7146_982_0_13_23_0_28674_0 <- 7146_982_0_13_23_0_28676_0
7156_982_0_13_23_0_28673_0 <- 7146_982_0_13_23_0_28676_0
6985_986_0_13_23_0_28704_0 <- 4888_990_0_13_23_0_28677_0
6965_988_0_13_23_0_28654_0 <- 4888_990_0_13_23_0_28677_0
7146_982_0_13_23_0_28676_0 <- 7133_982_0_13_23_0_28678_0 , 7122_982_0_13_23_0_28679_0
4888_990_0_13_23_0_28677_0 <- 4869_990_0_13_23_0_28680_0 , 4821_990_0_13_23_0_28681_0
7122_982_0_13_23_0_28679_0 <- 7122_982_0_13_23_0_28682_0
7133_982_0_13_23_0_28678_0 <- 7122_982_0_13_23_0_28682_0
7122_982_0_13_23_0_28682_0 <- 7109_982_0_13_23_0_28684_0 , 7096_982_0_13_23_0_28685_0
7096_982_0_13_23_0_28685_0 <- 7096_982_0_13_23_0_28687_0
7109_982_0_13_23_0_28684_0 <- 7096_982_0_13_23_0_28687_0
7096_982_0_13_23_0_28687_0 <- 7083_982_0_13_23_0_28689_0 , 7066_982_0_13_23_0_28690_0
4869_990_0_13_23_0_28680_0 <- 1976_999_0_13_23_0_28691_0
4821_990_0_13_23_0_28681_0 <- 1976_999_0_13_23_0_28691_0
7066_982_0_13_23_0_28690_0 <- 7066_982_0_13_23_0_28692_0
7083_982_0_13_23_0_28689_0 <- 7066_982_0_13_23_0_28692_0
1976_999_0_13_23_0_28691_0 <- 1886_999_0_13_23_0_28693_0 , 4657_994_1_13_23_0_28694_0
1886_999_0_13_23_0_28693_0 <- 4657_994_1_13_23_0_28694_0
7066_982_0_13_23_0_28692_0 <- 7053_982_0_13_23_0_28695_0 , 7026_983_0_13_23_0_28696_0
4657_994_1_13_23_0_28694_0 <- 3442_994_1_13_23_0_28697_0 , 3524_990_1_13_23_0_28698_0 , 4233_990_1_13_23_0_28701_0 , 4344_991_1_13_23_0_28702_0 , 3659_990_1_13_23_0_28713_0 , 3873_990_1_13_23_0_28721_0 , 4351_991_1_13_23_0_28722_0
7026_983_0_13_23_0_28696_0 <- 6985_986_0_13_23_0_28704_0
7053_982_0_13_23_0_28695_0 <- 6985_986_0_13_23_0_28704_0
4351_991_1_13_23_0_28722_0 <- 4338_991_1_13_23_0_28709_0
4344_991_1_13_23_0_28702_0 <- 4338_991_1_13_23_0_28709_0
4338_991_1_13_23_0_28709_0 <- 3446_994_1_13_23_0_28718_0 , 4241_990_1_55_23_0_29810_0
3488_991_1_55_23_0_29826_0 <- 3446_994_1_13_23_0_28718_0
3442_994_1_13_23_0_28697_0 <- 1718_1003_0_13_23_0_28732_0
3446_994_1_13_23_0_28718_0 <- 1718_1003_0_13_23_0_28732_0
2144_1003_0_15_24_0_28733_0 <- 1714_1003_0_15_24_0_28734_0 , 6999_986_0_15_24_0_28735_0
6999_986_0_15_24_0_28735_0 <- 6965_988_0_15_24_0_28738_0 , 7213_982_0_15_24_0_28743_0
1714_1003_0_15_24_0_28734_0 <- 1682_1003_0_15_24_0_28739_0
1718_1003_0_15_24_0_28816_0 <- 1682_1003_0_15_24_0_28739_0
7213_982_0_15_24_0_28743_0 <- 7200_982_0_15_24_0_28745_0 , 7191_982_0_15_24_0_28746_0
7191_982_0_15_24_0_28746_0 <- 7191_982_0_15_24_0_28749_0
7200_982_0_15_24_0_28745_0 <- 7191_982_0_15_24_0_28749_0
7191_982_0_15_24_0_28749_0 <- 7178_982_0_15_24_0_28751_0 , 7169_982_0_15_24_0_28752_0
7169_982_0_15_24_0_28752_0 <- 7169_982_0_15_24_0_28754_0
7178_982_0_15_24_0_28751_0 <- 7169_982_0_15_24_0_28754_0
7169_982_0_15_24_0_28754_0 <- 7156_982_0_15_24_0_28757_0 , 7146_982_0_15_24_0_28758_0
7146_982_0_15_24_0_28758_0 <- 7146_982_0_15_24_0_28760_0
7156_982_0_15_24_0_28757_0 <- 7146_982_0_15_24_0_28760_0
6985_986_0_15_24_0_28788_0 <- 4888_990_0_15_24_0_28761_0
6965_988_0_15_24_0_28738_0 <- 4888_990_0_15_24_0_28761_0
7146_982_0_15_24_0_28760_0 <- 7133_982_0_15_24_0_28762_0 , 7122_982_0_15_24_0_28763_0
4888_990_0_15_24_0_28761_0 <- 4869_990_0_15_24_0_28764_0 , 4821_990_0_15_24_0_28765_0
7122_982_0_15_24_0_28763_0 <- 7122_982_0_15_24_0_28766_0
7133_982_0_15_24_0_28762_0 <- 7122_982_0_15_24_0_28766_0
7122_982_0_15_24_0_28766_0 <- 7109_982_0_15_24_0_28768_0 , 7096_982_0_15_24_0_28769_0
7096_982_0_15_24_0_28769_0 <- 7096_982_0_15_24_0_28771_0
7109_982_0_15_24_0_28768_0 <- 7096_982_0_15_24_0_28771_0
7096_982_0_15_24_0_28771_0 <- 7083_982_0_15_24_0_28773_0 , 7066_982_0_15_24_0_28774_0
4869_990_0_15_24_0_28764_0 <- 1976_999_0_15_24_0_28775_0
4821_990_0_15_24_0_28765_0 <- 1976_999_0_15_24_0_28775_0
7066_982_0_15_24_0_28774_0 <- 7066_982_0_15_24_0_28776_0
7083_982_0_15_24_0_28773_0 <- 7066_982_0_15_24_0_28776_0
1976_999_0_15_24_0_28775_0 <- 1886_999_0_15_24_0_28777_0 , 4657_994_1_15_24_0_28778_0
1886_999_0_15_24_0_28777_0 <- 4657_994_1_15_24_0_28778_0
7066_982_0_15_24_0_28776_0 <- 7053_982_0_15_24_0_28779_0 , 7026_983_0_15_24_0_28780_0
4657_994_1_15_24_0_28778_0 <- 3442_994_1_15_24_0_28781_0 , 3524_990_1_15_24_0_28782_0 , 4233_990_1_15_24_0_28785_0 , 4344_991_1_15_24_0_28786_0 , 3659_990_1_15_24_0_28797_0 , 3873_990_1_15_24_0_28805_0 , 4351_991_1_15_24_0_28806_0
7026_983_0_15_24_0_28780_0 <- 6985_986_0_15_24_0_28788_0
7053_982_0_15_24_0_28779_0 <- 6985_986_0_15_24_0_28788_0
4351_991_1_15_24_0_28806_0 <- 4338_991_1_15_24_0_28793_0
4344_991_1_15_24_0_28786_0 <- 4338_991_1_15_24_0_28793_0
4338_991_1_15_24_0_28793_0 <- 3446_994_1_15_24_0_28802_0 , 4241_990_1_57_24_0_29827_0
3488_991_1_57_24_0_29843_0 <- 3446_994_1_15_24_0_28802_0
3442_994_1_15_24_0_28781_0 <- 1718_1003_0_15_24_0_28816_0
3446_994_1_15_24_0_28802_0 <- 1718_1003_0_15_24_0_28816_0
2144_1005_0_17_25_0_28817_0 <- 1714_1005_0_17_25_0_28818_0 , 6999_988_0_17_25_0_28819_0
6999_988_0_17_25_0_28819_0 <- 6965_990_0_17_25_0_28822_0 , 7213_984_0_17_25_0_28827_0
1714_1005_0_17_25_0_28818_0 <- 1682_1005_0_17_25_0_28823_0
1718_1005_0_17_25_0_28900_0 <- 1682_1005_0_17_25_0_28823_0
7213_984_0_17_25_0_28827_0 <- 7200_984_0_17_25_0_28829_0 , 7191_984_0_17_25_0_28830_0
7191_984_0_17_25_0_28830_0 <- 7191_984_0_17_25_0_28833_0
7200_984_0_17_25_0_28829_0 <- 7191_984_0_17_25_0_28833_0
7191_984_0_17_25_0_28833_0 <- 7178_984_0_17_25_0_28835_0 , 7169_984_0_17_25_0_28836_0
7169_984_0_17_25_0_28836_0 <- 7169_984_0_17_25_0_28838_0
7178_984_0_17_25_0_28835_0 <- 7169_984_0_17_25_0_28838_0
7169_984_0_17_25_0_28838_0 <- 7156_984_0_17_25_0_28841_0 , 7146_984_0_17_25_0_28842_0
7146_984_0_17_25_0_28842_0 <- 7146_984_0_17_25_0_28844_0
7156_984_0_17_25_0_28841_0 <- 7146_984_0_17_25_0_28844_0
6985_988_0_17_25_0_28872_0 <- 4888_992_0_17_25_0_28845_0
6965_990_0_17_25_0_28822_0 <- 4888_992_0_17_25_0_28845_0
7146_984_0_17_25_0_28844_0 <- 7133_984_0_17_25_0_28846_0 , 7122_984_0_17_25_0_28847_0
4888_992_0_17_25_0_28845_0 <- 4869_992_0_17_25_0_28848_0 , 4821_992_0_17_25_0_28849_0
7122_984_0_17_25_0_28847_0 <- 7122_984_0_17_25_0_28850_0
7133_984_0_17_25_0_28846_0 <- 7122_984_0_17_25_0_28850_0
7122_984_0_17_25_0_28850_0 <- 7109_984_0_17_25_0_28852_0 , 7096_984_0_17_25_0_28853_0
7096_984_0_17_25_0_28853_0 <- 7096_984_0_17_25_0_28855_0
7109_984_0_17_25_0_28852_0 <- 7096_984_0_17_25_0_28855_0
7096_984_0_17_25_0_28855_0 <- 7083_984_0_17_25_0_28857_0 , 7066_984_0_17_25_0_28858_0
4869_992_0_17_25_0_28848_0 <- 1976_1001_0_17_25_0_28859_0
4821_992_0_17_25_0_28849_0 <- 1976_1001_0_17_25_0_28859_0
7066_984_0_17_25_0_28858_0 <- 7066_984_0_17_25_0_28860_0
7083_984_0_17_25_0_28857_0 <- 7066_984_0_17_25_0_28860_0
1976_1001_0_17_25_0_28859_0 <- 1886_1001_0_17_25_0_28861_0 , 4657_996_0_17_25_0_28862_0
1886_1001_0_17_25_0_28861_0 <- 4657_996_0_17_25_0_28862_0
7066_984_0_17_25_0_28860_0 <- 7053_984_0_17_25_0_28863_0 , 7026_985_0_17_25_0_28864_0
4657_996_0_17_25_0_28862_0 <- 3442_996_0_17_25_0_28865_0 , 3524_992_0_17_25_0_28866_0 , 4233_992_0_17_25_0_28869_0 , 4344_993_0_17_25_0_28870_0 , 3659_992_0_17_25_0_28881_0 , 3873_992_0_17_25_0_28889_0 , 4351_993_0_17_25_0_28890_0
7026_985_0_17_25_0_28864_0 <- 6985_988_0_17_25_0_28872_0
7053_984_0_17_25_0_28863_0 <- 6985_988_0_17_25_0_28872_0
4351_993_0_17_25_0_28890_0 <- 4338_993_0_17_25_0_28877_0
4344_993_0_17_25_0_28870_0 <- 4338_993_0_17_25_0_28877_0
4338_993_0_17_25_0_28877_0 <- 3446_996_0_17_25_0_28886_0 , 4241_992_0_59_25_0_29844_0
3488_993_0_59_25_0_29860_0 <- 3446_996_0_17_25_0_28886_0
3442_996_0_17_25_0_28865_0 <- 1718_1005_0_17_25_0_28900_0
3446_996_0_17_25_0_28886_0 <- 1718_1005_0_17_25_0_28900_0
2144_1005_0_19_26_0_28901_0 <- 1714_1005_0_19_26_0_28902_0 , 6999_988_0_19_26_0_28903_0
6999_988_0_19_26_0_28903_0 <- 6965_990_0_19_26_0_28906_0 , 7213_984_0_19_26_0_28911_0
1714_1005_0_19_26_0_28902_0 <- 1682_1005_0_19_26_0_28907_0
1718_1005_0_19_26_0_28984_0 <- 1682_1005_0_19_26_0_28907_0
7213_984_0_19_26_0_28911_0 <- 7200_984_0_19_26_0_28913_0 , 7191_984_0_19_26_0_28914_0
7191_984_0_19_26_0_28914_0 <- 7191_984_0_19_26_0_28917_0
7200_984_0_19_26_0_28913_0 <- 7191_984_0_19_26_0_28917_0
7191_984_0_19_26_0_28917_0 <- 7178_984_0_19_26_0_28919_0 , 7169_984_0_19_26_0_28920_0
7169_984_0_19_26_0_28920_0 <- 7169_984_0_19_26_0_28922_0
7178_984_0_19_26_0_28919_0 <- 7169_984_0_19_26_0_28922_0
7169_984_0_19_26_0_28922_0 <- 7156_984_0_19_26_0_28925_0 , 7146_984_0_19_26_0_28926_0
7146_984_0_19_26_0_28926_0 <- 7146_984_0_19_26_0_28928_0
7156_984_0_19_26_0_28925_0 <- 7146_984_0_19_26_0_28928_0
6985_988_0_19_26_0_28956_0 <- 4888_992_0_19_26_0_28929_0
6965_990_0_19_26_0_28906_0 <- 4888_992_0_19_26_0_28929_0
7146_984_0_19_26_0_28928_0 <- 7133_984_0_19_26_0_28930_0 , 7122_984_0_19_26_0_28931_0
4888_992_0_19_26_0_28929_0 <- 4869_992_0_19_26_0_28932_0 , 4821_992_0_19_26_0_28933_0
7122_984_0_19_26_0_28931_0 <- 7122_984_0_19_26_0_28934_0
7133_984_0_19_26_0_28930_0 <- 7122_984_0_19_26_0_28934_0
7122_984_0_19_26_0_28934_0 <- 7109_984_0_19_26_0_28936_0 , 7096_984_0_19_26_0_28937_0
7096_984_0_19_26_0_28937_0 <- 7096_984_0_19_26_0_28939_0
7109_984_0_19_26_0_28936_0 <- 7096_984_0_19_26_0_28939_0
7096_984_0_19_26_0_28939_0 <- 7083_984_0_19_26_0_28941_0 , 7066_984_0_19_26_0_28942_0
4869_992_0_19_26_0_28932_0 <- 1976_1001_0_19_26_0_28943_0
4821_992_0_19_26_0_28933_0 <- 1976_1001_0_19_26_0_28943_0
7066_984_0_19_26_0_28942_0 <- 7066_984_0_19_26_0_28944_0
7083_984_0_19_26_0_28941_0 <- 7066_984_0_19_26_0_28944_0
1976_1001_0_19_26_0_28943_0 <- 1886_1001_0_19_26_0_28945_0 , 4657_996_0_19_26_0_28946_0
1886_1001_0_19_26_0_28945_0 <- 4657_996_0_19_26_0_28946_0
7066_984_0_19_26_0_28944_0 <- 7053_984_0_19_26_0_28947_0 , 7026_985_0_19_26_0_28948_0
4657_996_0_19_26_0_28946_0 <- 3442_996_0_19_26_0_28949_0 , 3524_992_0_19_26_0_28950_0 , 4233_992_0_19_26_0_28953_0 , 4344_993_0_19_26_0_28954_0 , 3659_992_0_19_26_0_28965_0 , 3873_992_0_19_26_0_28973_0 , 4351_993_0_19_26_0_28974_0
7026_985_0_19_26_0_28948_0 <- 6985_988_0_19_26_0_28956_0
7053_984_0_19_26_0_28947_0 <- 6985_988_0_19_26_0_28956_0
4351_993_0_19_26_0_28974_0 <- 4338_993_0_19_26_0_28961_0
4344_993_0_19_26_0_28954_0 <- 4338_993_0_19_26_0_28961_0
4338_993_0_19_26_0_28961_0 <- 3446_996_0_19_26_0_28970_0 , 4241_992_0_61_26_0_29861_0
3488_993_0_61_26_0_29877_0 <- 3446_996_0_19_26_0_28970_0
3442_996_0_19_26_0_28949_0 <- 1718_1005_0_19_26_0_28984_0
3446_996_0_19_26_0_28970_0 <- 1718_1005_0_19_26_0_28984_0
5529_984_0_21_23_0_28991_0 <- 5500_984_0_21_23_0_28992_0 , 7213_980_1_21_23_0_28996_0
7213_980_1_21_23_0_28996_0 <- 7200_980_1_21_23_0_28998_0 , 7191_980_1_21_23_0_28999_0
7191_980_1_21_23_0_28999_0 <- 7191_980_1_21_23_0_29001_0
7200_980_1_21_23_0_28998_0 <- 7191_980_1_21_23_0_29001_0
7191_980_1_21_23_0_29001_0 <- 7178_980_1_21_23_0_29004_0 , 7169_980_1_21_23_0_29005_0
7169_980_1_21_23_0_29005_0 <- 7169_980_1_21_23_0_29007_0
7178_980_1_21_23_0_29004_0 <- 7169_980_1_21_23_0_29007_0
5500_984_0_21_23_0_28992_0 <- 7840_973_0_21_23_0_29008_0
5508_984_0_21_23_0_29060_0 <- 7840_973_0_21_23_0_29008_0
7169_980_1_21_23_0_29007_0 <- 7156_980_1_21_23_0_29009_0 , 7146_980_1_21_23_0_29010_0
7840_973_0_21_23_0_29008_0 <- 7755_973_0_21_23_0_29011_0 , 8383_966_1_21_23_0_29040_0
7146_980_1_21_23_0_29010_0 <- 7146_980_1_21_23_0_29012_0
7156_980_1_21_23_0_29009_0 <- 7146_980_1_21_23_0_29012_0
7755_973_0_21_23_0_29011_0 <- 7676_969_0_21_23_0_29013_0
7763_973_0_21_23_0_29072_0 <- 7676_969_0_21_23_0_29013_0
7146_980_1_21_23_0_29012_0 <- 7133_980_1_21_23_0_29015_0 , 7122_980_1_21_23_0_29016_0
7676_969_0_21_23_0_29013_0 <- 7674_968_0_21_23_0_29017_0 , 7391_966_0_21_23_0_29018_0
7122_980_1_21_23_0_29016_0 <- 7122_980_1_21_23_0_29020_0
7133_980_1_21_23_0_29015_0 <- 7122_980_1_21_23_0_29020_0
7674_968_0_21_23_0_29017_0 <- 8224_960_0_21_23_0_29022_0 , 7482_968_0_21_23_0_29061_0
7482_968_0_21_23_0_29061_0 <- 8224_960_0_21_23_0_29022_0
7407_969_0_21_23_0_29036_0 <- 5771_983_0_21_23_0_29023_0
7391_966_0_21_23_0_29018_0 <- 5771_983_0_21_23_0_29023_0
7122_980_1_21_23_0_29020_0 <- 7109_980_1_21_23_0_29026_0 , 7096_980_1_21_23_0_29027_0
8224_960_0_21_23_0_29022_0 <- 8064_960_0_21_23_0_29029_0 , 8080_960_0_21_23_0_29062_0
5771_983_0_21_23_0_29023_0 <- 5588_981_0_21_23_0_29031_0 , 5613_981_0_21_23_0_29037_0 , 5663_981_0_21_23_0_29046_0
7096_980_1_21_23_0_29027_0 <- 7096_980_1_21_23_0_29033_0
7109_980_1_21_23_0_29026_0 <- 7096_980_1_21_23_0_29033_0
8064_960_0_21_23_0_29029_0 <- 7407_969_0_21_23_0_29036_0
8080_960_0_21_23_0_29062_0 <- 7407_969_0_21_23_0_29036_0
7096_980_1_21_23_0_29033_0 <- 7083_980_1_21_23_0_29041_0 , 7066_980_1_21_23_0_29042_0
5663_981_0_21_23_0_29046_0 <- 5604_981_0_21_23_0_29045_0
5613_981_0_21_23_0_29037_0 <- 5604_981_0_21_23_0_29045_0
8383_966_1_21_23_0_29040_0 <- 8254_966_1_21_23_0_29047_0 , 8262_966_1_21_23_0_29069_0
7066_980_1_21_23_0_29042_0 <- 7066_980_1_21_23_0_29049_0
7083_980_1_21_23_0_29041_0 <- 7066_980_1_21_23_0_29049_0
7066_980_1_21_23_0_29049_0 <- 7053_980_1_21_23_0_29052_0 , 7026_981_1_21_23_0_29053_0
7026_981_1_21_23_0_29053_0 <- 5508_984_0_21_23_0_29060_0
7053_980_1_21_23_0_29052_0 <- 5508_984_0_21_23_0_29060_0
5604_981_0_21_23_0_29045_0 <- 2287_988_0_21_23_0_29063_0
5588_981_0_21_23_0_29031_0 <- 2287_988_0_21_23_0_29063_0
8254_966_1_21_23_0_29047_0 <- 7763_973_0_21_23_0_29072_0
8262_966_1_21_23_0_29069_0 <- 7763_973_0_21_23_0_29072_0
5529_984_0_23_24_0_29079_0 <- 5500_984_0_23_24_0_29080_0 , 7213_980_1_23_24_0_29084_0
7213_980_1_23_24_0_29084_0 <- 7200_980_1_23_24_0_29086_0 , 7191_980_1_23_24_0_29087_0
7191_980_1_23_24_0_29087_0 <- 7191_980_1_23_24_0_29089_0
7200_980_1_23_24_0_29086_0 <- 7191_980_1_23_24_0_29089_0
7191_980_1_23_24_0_29089_0 <- 7178_980_1_23_24_0_29092_0 , 7169_980_1_23_24_0_29093_0
7169_980_1_23_24_0_29093_0 <- 7169_980_1_23_24_0_29095_0
7178_980_1_23_24_0_29092_0 <- 7169_980_1_23_24_0_29095_0
5500_984_0_23_24_0_29080_0 <- 7840_973_0_23_24_0_29096_0
5508_984_0_23_24_0_29148_0 <- 7840_973_0_23_24_0_29096_0
7169_980_1_23_24_0_29095_0 <- 7156_980_1_23_24_0_29097_0 , 7146_980_1_23_24_0_29098_0
7840_973_0_23_24_0_29096_0 <- 7755_973_0_23_24_0_29099_0 , 8383_966_1_23_24_0_29128_0
7146_980_1_23_24_0_29098_0 <- 7146_980_1_23_24_0_29100_0
7156_980_1_23_24_0_29097_0 <- 7146_980_1_23_24_0_29100_0
7755_973_0_23_24_0_29099_0 <- 7676_969_0_23_24_0_29101_0
7763_973_0_23_24_0_29160_0 <- 7676_969_0_23_24_0_29101_0
7146_980_1_23_24_0_29100_0 <- 7133_980_1_23_24_0_29103_0 , 7122_980_1_23_24_0_29104_0
7676_969_0_23_24_0_29101_0 <- 7674_968_0_23_24_0_29105_0 , 7391_966_0_23_24_0_29106_0
7122_980_1_23_24_0_29104_0 <- 7122_980_1_23_24_0_29108_0
7133_980_1_23_24_0_29103_0 <- 7122_980_1_23_24_0_29108_0
7674_968_0_23_24_0_29105_0 <- 8224_960_0_23_24_0_29110_0 , 7482_968_0_23_24_0_29149_0
7482_968_0_23_24_0_29149_0 <- 8224_960_0_23_24_0_29110_0
7407_969_0_23_24_0_29124_0 <- 5771_983_0_23_24_0_29111_0
7391_966_0_23_24_0_29106_0 <- 5771_983_0_23_24_0_29111_0
7122_980_1_23_24_0_29108_0 <- 7109_980_1_23_24_0_29114_0 , 7096_980_1_23_24_0_29115_0
8224_960_0_23_24_0_29110_0 <- 8064_960_0_23_24_0_29117_0 , 8080_960_0_23_24_0_29150_0
5771_983_0_23_24_0_29111_0 <- 5588_981_0_23_24_0_29119_0 , 5613_981_0_23_24_0_29125_0 , 5663_981_0_23_24_0_29134_0
7096_980_1_23_24_0_29115_0 <- 7096_980_1_23_24_0_29121_0
7109_980_1_23_24_0_29114_0 <- 7096_980_1_23_24_0_29121_0
8064_960_0_23_24_0_29117_0 <- 7407_969_0_23_24_0_29124_0
8080_960_0_23_24_0_29150_0 <- 7407_969_0_23_24_0_29124_0
7096_980_1_23_24_0_29121_0 <- 7083_980_1_23_24_0_29129_0 , 7066_980_1_23_24_0_29130_0
5663_981_0_23_24_0_29134_0 <- 5604_981_0_23_24_0_29133_0
5613_981_0_23_24_0_29125_0 <- 5604_981_0_23_24_0_29133_0
8383_966_1_23_24_0_29128_0 <- 8254_966_1_23_24_0_29135_0 , 8262_966_1_23_24_0_29157_0
7066_980_1_23_24_0_29130_0 <- 7066_980_1_23_24_0_29137_0
7083_980_1_23_24_0_29129_0 <- 7066_980_1_23_24_0_29137_0
7066_980_1_23_24_0_29137_0 <- 7053_980_1_23_24_0_29140_0 , 7026_981_1_23_24_0_29141_0
7026_981_1_23_24_0_29141_0 <- 5508_984_0_23_24_0_29148_0
7053_980_1_23_24_0_29140_0 <- 5508_984_0_23_24_0_29148_0
5604_981_0_23_24_0_29133_0 <- 2287_988_0_23_24_0_29151_0
5588_981_0_23_24_0_29119_0 <- 2287_988_0_23_24_0_29151_0
8254_966_1_23_24_0_29135_0 <- 7763_973_0_23_24_0_29160_0
8262_966_1_23_24_0_29157_0 <- 7763_973_0_23_24_0_29160_0
5529_986_0_25_25_0_29167_0 <- 5500_986_0_25_25_0_29168_0 , 7213_982_2_25_25_0_29172_0
7213_982_2_25_25_0_29172_0 <- 7200_982_2_25_25_0_29174_0 , 7191_982_2_25_25_0_29175_0
7191_982_2_25_25_0_29175_0 <- 7191_982_2_25_25_0_29177_0
7200_982_2_25_25_0_29174_0 <- 7191_982_2_25_25_0_29177_0
7191_982_2_25_25_0_29177_0 <- 7178_982_2_25_25_0_29180_0 , 7169_982_2_25_25_0_29181_0
7169_982_2_25_25_0_29181_0 <- 7169_982_2_25_25_0_29183_0
7178_982_2_25_25_0_29180_0 <- 7169_982_2_25_25_0_29183_0
5500_986_0_25_25_0_29168_0 <- 7840_975_0_25_25_0_29184_0
5508_986_0_25_25_0_29236_0 <- 7840_975_0_25_25_0_29184_0
7169_982_2_25_25_0_29183_0 <- 7156_982_2_25_25_0_29185_0 , 7146_982_2_25_25_0_29186_0
7840_975_0_25_25_0_29184_0 <- 7755_975_0_25_25_0_29187_0 , 8383_968_0_25_25_0_29216_0
7146_982_2_25_25_0_29186_0 <- 7146_982_2_25_25_0_29188_0
7156_982_2_25_25_0_29185_0 <- 7146_982_2_25_25_0_29188_0
7755_975_0_25_25_0_29187_0 <- 7676_971_0_25_25_0_29189_0
7763_975_0_25_25_0_29248_0 <- 7676_971_0_25_25_0_29189_0
7146_982_2_25_25_0_29188_0 <- 7133_982_2_25_25_0_29191_0 , 7122_982_2_25_25_0_29192_0
7676_971_0_25_25_0_29189_0 <- 7674_970_0_25_25_0_29193_0 , 7391_968_0_25_25_0_29194_0
7122_982_2_25_25_0_29192_0 <- 7122_982_2_25_25_0_29196_0
7133_982_2_25_25_0_29191_0 <- 7122_982_2_25_25_0_29196_0
7674_970_0_25_25_0_29193_0 <- 8224_962_0_25_25_0_29198_0 , 7482_970_0_25_25_0_29237_0
7482_970_0_25_25_0_29237_0 <- 8224_962_0_25_25_0_29198_0
7407_971_0_25_25_0_29212_0 <- 5771_985_0_25_25_0_29199_0
7391_968_0_25_25_0_29194_0 <- 5771_985_0_25_25_0_29199_0
7122_982_2_25_25_0_29196_0 <- 7109_982_2_25_25_0_29202_0 , 7096_982_2_25_25_0_29203_0
8224_962_0_25_25_0_29198_0 <- 8064_962_0_25_25_0_29205_0 , 8080_962_0_25_25_0_29238_0
5771_985_0_25_25_0_29199_0 <- 5588_983_0_25_25_0_29207_0 , 5613_983_0_25_25_0_29213_0 , 5663_983_0_25_25_0_29222_0
7096_982_2_25_25_0_29203_0 <- 7096_982_2_25_25_0_29209_0
7109_982_2_25_25_0_29202_0 <- 7096_982_2_25_25_0_29209_0
8064_962_0_25_25_0_29205_0 <- 7407_971_0_25_25_0_29212_0
8080_962_0_25_25_0_29238_0 <- 7407_971_0_25_25_0_29212_0
7096_982_2_25_25_0_29209_0 <- 7083_982_2_25_25_0_29217_0 , 7066_982_2_25_25_0_29218_0
5663_983_0_25_25_0_29222_0 <- 5604_983_0_25_25_0_29221_0
5613_983_0_25_25_0_29213_0 <- 5604_983_0_25_25_0_29221_0
8383_968_0_25_25_0_29216_0 <- 8254_968_0_25_25_0_29223_0 , 8262_968_0_25_25_0_29245_0
7066_982_2_25_25_0_29218_0 <- 7066_982_2_25_25_0_29225_0
7083_982_2_25_25_0_29217_0 <- 7066_982_2_25_25_0_29225_0
7066_982_2_25_25_0_29225_0 <- 7053_982_2_25_25_0_29228_0 , 7026_983_2_25_25_0_29229_0
7026_983_2_25_25_0_29229_0 <- 5508_986_0_25_25_0_29236_0
7053_982_2_25_25_0_29228_0 <- 5508_986_0_25_25_0_29236_0
5604_983_0_25_25_0_29221_0 <- 2287_990_0_25_25_0_29239_0
5588_983_0_25_25_0_29207_0 <- 2287_990_0_25_25_0_29239_0
8254_968_0_25_25_0_29223_0 <- 7763_975_0_25_25_0_29248_0
8262_968_0_25_25_0_29245_0 <- 7763_975_0_25_25_0_29248_0
5529_986_0_27_26_0_29255_0 <- 5500_986_0_27_26_0_29256_0 , 7213_982_2_27_26_0_29260_0
7213_982_2_27_26_0_29260_0 <- 7200_982_2_27_26_0_29262_0 , 7191_982_2_27_26_0_29263_0
7191_982_2_27_26_0_29263_0 <- 7191_982_2_27_26_0_29265_0
7200_982_2_27_26_0_29262_0 <- 7191_982_2_27_26_0_29265_0
7191_982_2_27_26_0_29265_0 <- 7178_982_2_27_26_0_29268_0 , 7169_982_2_27_26_0_29269_0
7169_982_2_27_26_0_29269_0 <- 7169_982_2_27_26_0_29271_0
7178_982_2_27_26_0_29268_0 <- 7169_982_2_27_26_0_29271_0
5500_986_0_27_26_0_29256_0 <- 7840_975_0_27_26_0_29272_0
5508_986_0_27_26_0_29324_0 <- 7840_975_0_27_26_0_29272_0
7169_982_2_27_26_0_29271_0 <- 7156_982_2_27_26_0_29273_0 , 7146_982_2_27_26_0_29274_0
7840_975_0_27_26_0_29272_0 <- 7755_975_0_27_26_0_29275_0 , 8383_968_0_27_26_0_29304_0
7146_982_2_27_26_0_29274_0 <- 7146_982_2_27_26_0_29276_0
7156_982_2_27_26_0_29273_0 <- 7146_982_2_27_26_0_29276_0
7755_975_0_27_26_0_29275_0 <- 7676_971_0_27_26_0_29277_0
7763_975_0_27_26_0_29336_0 <- 7676_971_0_27_26_0_29277_0
7146_982_2_27_26_0_29276_0 <- 7133_982_2_27_26_0_29279_0 , 7122_982_2_27_26_0_29280_0
7676_971_0_27_26_0_29277_0 <- 7674_970_0_27_26_0_29281_0 , 7391_968_0_27_26_0_29282_0
7122_982_2_27_26_0_29280_0 <- 7122_982_2_27_26_0_29284_0
7133_982_2_27_26_0_29279_0 <- 7122_982_2_27_26_0_29284_0
7674_970_0_27_26_0_29281_0 <- 8224_962_0_27_26_0_29286_0 , 7482_970_0_27_26_0_29325_0
7482_970_0_27_26_0_29325_0 <- 8224_962_0_27_26_0_29286_0
7407_971_0_27_26_0_29300_0 <- 5771_985_0_27_26_0_29287_0
7391_968_0_27_26_0_29282_0 <- 5771_985_0_27_26_0_29287_0
7122_982_2_27_26_0_29284_0 <- 7109_982_2_27_26_0_29290_0 , 7096_982_2_27_26_0_29291_0
8224_962_0_27_26_0_29286_0 <- 8064_962_0_27_26_0_29293_0 , 8080_962_0_27_26_0_29326_0
5771_985_0_27_26_0_29287_0 <- 5588_983_0_27_26_0_29295_0 , 5613_983_0_27_26_0_29301_0 , 5663_983_0_27_26_0_29310_0
7096_982_2_27_26_0_29291_0 <- 7096_982_2_27_26_0_29297_0
7109_982_2_27_26_0_29290_0 <- 7096_982_2_27_26_0_29297_0
8064_962_0_27_26_0_29293_0 <- 7407_971_0_27_26_0_29300_0
8080_962_0_27_26_0_29326_0 <- 7407_971_0_27_26_0_29300_0
7096_982_2_27_26_0_29297_0 <- 7083_982_2_27_26_0_29305_0 , 7066_982_2_27_26_0_29306_0
5663_983_0_27_26_0_29310_0 <- 5604_983_0_27_26_0_29309_0
5613_983_0_27_26_0_29301_0 <- 5604_983_0_27_26_0_29309_0
8383_968_0_27_26_0_29304_0 <- 8254_968_0_27_26_0_29311_0 , 8262_968_0_27_26_0_29333_0
7066_982_2_27_26_0_29306_0 <- 7066_982_2_27_26_0_29313_0
7083_982_2_27_26_0_29305_0 <- 7066_982_2_27_26_0_29313_0
7066_982_2_27_26_0_29313_0 <- 7053_982_2_27_26_0_29316_0 , 7026_983_2_27_26_0_29317_0
7026_983_2_27_26_0_29317_0 <- 5508_986_0_27_26_0_29324_0
7053_982_2_27_26_0_29316_0 <- 5508_986_0_27_26_0_29324_0
5604_983_0_27_26_0_29309_0 <- 2287_990_0_27_26_0_29327_0
5588_983_0_27_26_0_29295_0 <- 2287_990_0_27_26_0_29327_0
8254_968_0_27_26_0_29311_0 <- 7763_975_0_27_26_0_29336_0
8262_968_0_27_26_0_29333_0 <- 7763_975_0_27_26_0_29336_0
5529_981_0_29_23_0_29337_0 <- 5500_981_0_29_23_0_29338_0 , 7213_977_0_29_23_0_29342_0
7213_977_0_29_23_0_29342_0 <- 7200_977_0_29_23_0_29344_0 , 7191_977_0_29_23_0_29345_0
7191_977_0_29_23_0_29345_0 <- 7191_977_0_29_23_0_29347_0
7200_977_0_29_23_0_29344_0 <- 7191_977_0_29_23_0_29347_0
7191_977_0_29_23_0_29347_0 <- 7178_977_0_29_23_0_29350_0 , 7169_977_0_29_23_0_29351_0
7169_977_0_29_23_0_29351_0 <- 7169_977_0_29_23_0_29352_0
7178_977_0_29_23_0_29350_0 <- 7169_977_0_29_23_0_29352_0
7169_977_0_29_23_0_29352_0 <- 7156_977_0_29_23_0_29353_0 , 7146_977_0_29_23_0_29354_0
7146_977_0_29_23_0_29354_0 <- 7146_977_0_29_23_0_29356_0
7156_977_0_29_23_0_29353_0 <- 7146_977_0_29_23_0_29356_0
7146_977_0_29_23_0_29356_0 <- 7133_977_0_29_23_0_29358_0 , 7122_977_0_29_23_0_29359_0
7122_977_0_29_23_0_29359_0 <- 7122_977_0_29_23_0_29362_0
7133_977_0_29_23_0_29358_0 <- 7122_977_0_29_23_0_29362_0
7122_977_0_29_23_0_29362_0 <- 7109_977_0_29_23_0_29364_0 , 7096_977_0_29_23_0_29365_0
5500_981_0_29_23_0_29338_0 <- 5479_979_0_29_23_0_29366_0
5508_981_0_29_23_0_29383_0 <- 5479_979_0_29_23_0_29366_0
7096_977_0_29_23_0_29365_0 <- 7096_977_0_29_23_0_29367_0
7109_977_0_29_23_0_29364_0 <- 7096_977_0_29_23_0_29367_0
5479_979_0_29_23_0_29366_0 <- 5134_978_0_29_23_0_29368_0 , 5154_978_0_29_23_0_29369_0 , 5194_977_0_29_23_0_29370_0 , 5467_977_0_29_23_0_29371_0 , 5217_977_0_29_23_0_29385_0 , 5303_977_0_29_23_0_29386_0 , 5390_977_0_29_23_0_29387_0
7096_977_0_29_23_0_29367_0 <- 7083_977_0_29_23_0_29372_0 , 7066_977_0_29_23_0_29373_0
5166_978_0_29_23_0_29377_0 <- 5146_978_0_29_23_0_29374_0
5154_978_0_29_23_0_29369_0 <- 5146_978_0_29_23_0_29374_0
5467_977_0_29_23_0_29371_0 <- 5380_977_0_29_23_0_29375_0
5390_977_0_29_23_0_29387_0 <- 5380_977_0_29_23_0_29375_0
7066_977_0_29_23_0_29373_0 <- 7066_977_0_29_23_0_29376_0
7083_977_0_29_23_0_29372_0 <- 7066_977_0_29_23_0_29376_0
5207_977_0_29_23_0_29382_0 <- 5166_978_0_29_23_0_29377_0
5194_977_0_29_23_0_29370_0 <- 5166_978_0_29_23_0_29377_0
5380_977_0_29_23_0_29375_0 <- 5293_977_0_29_23_0_29378_0
5303_977_0_29_23_0_29386_0 <- 5293_977_0_29_23_0_29378_0
7066_977_0_29_23_0_29376_0 <- 7053_977_0_29_23_0_29379_0 , 7026_978_0_29_23_0_29380_0
5293_977_0_29_23_0_29378_0 <- 5207_977_0_29_23_0_29382_0
5217_977_0_29_23_0_29385_0 <- 5207_977_0_29_23_0_29382_0
7026_978_0_29_23_0_29380_0 <- 5508_981_0_29_23_0_29383_0
7053_977_0_29_23_0_29379_0 <- 5508_981_0_29_23_0_29383_0
5146_978_0_29_23_0_29374_0 <- 5771_982_0_29_23_0_29384_0
5134_978_0_29_23_0_29368_0 <- 5771_982_0_29_23_0_29384_0
5771_982_0_29_23_0_29384_0 <- 5588_980_0_29_23_0_29388_0 , 5613_980_0_29_23_0_29389_0 , 5663_980_0_29_23_0_29393_0
5663_980_0_29_23_0_29393_0 <- 5604_980_0_29_23_0_29392_0
5613_980_0_29_23_0_29389_0 <- 5604_980_0_29_23_0_29392_0
5604_980_0_29_23_0_29392_0 <- 2385_987_0_29_23_0_29394_0
5588_980_0_29_23_0_29388_0 <- 2385_987_0_29_23_0_29394_0
5529_981_0_31_24_0_29395_0 <- 5500_981_0_31_24_0_29396_0 , 7213_977_0_31_24_0_29400_0
7213_977_0_31_24_0_29400_0 <- 7200_977_0_31_24_0_29402_0 , 7191_977_0_31_24_0_29403_0
7191_977_0_31_24_0_29403_0 <- 7191_977_0_31_24_0_29405_0
7200_977_0_31_24_0_29402_0 <- 7191_977_0_31_24_0_29405_0
7191_977_0_31_24_0_29405_0 <- 7178_977_0_31_24_0_29408_0 , 7169_977_0_31_24_0_29409_0
7169_977_0_31_24_0_29409_0 <- 7169_977_0_31_24_0_29410_0
7178_977_0_31_24_0_29408_0 <- 7169_977_0_31_24_0_29410_0
7169_977_0_31_24_0_29410_0 <- 7156_977_0_31_24_0_29411_0 , 7146_977_0_31_24_0_29412_0
7146_977_0_31_24_0_29412_0 <- 7146_977_0_31_24_0_29414_0
7156_977_0_31_24_0_29411_0 <- 7146_977_0_31_24_0_29414_0
7146_977_0_31_24_0_29414_0 <- 7133_977_0_31_24_0_29416_0 , 7122_977_0_31_24_0_29417_0
7122_977_0_31_24_0_29417_0 <- 7122_977_0_31_24_0_29420_0
7133_977_0_31_24_0_29416_0 <- 7122_977_0_31_24_0_29420_0
7122_977_0_31_24_0_29420_0 <- 7109_977_0_31_24_0_29422_0 , 7096_977_0_31_24_0_29423_0
5500_981_0_31_24_0_29396_0 <- 5479_979_0_31_24_0_29424_0
5508_981_0_31_24_0_29441_0 <- 5479_979_0_31_24_0_29424_0
7096_977_0_31_24_0_29423_0 <- 7096_977_0_31_24_0_29425_0
7109_977_0_31_24_0_29422_0 <- 7096_977_0_31_24_0_29425_0
5479_979_0_31_24_0_29424_0 <- 5134_978_0_31_24_0_29426_0 , 5154_978_0_31_24_0_29427_0 , 5194_977_0_31_24_0_29428_0 , 5467_977_0_31_24_0_29429_0 , 5217_977_0_31_24_0_29443_0 , 5303_977_0_31_24_0_29444_0 , 5390_977_0_31_24_0_29445_0
7096_977_0_31_24_0_29425_0 <- 7083_977_0_31_24_0_29430_0 , 7066_977_0_31_24_0_29431_0
5166_978_0_31_24_0_29435_0 <- 5146_978_0_31_24_0_29432_0
5154_978_0_31_24_0_29427_0 <- 5146_978_0_31_24_0_29432_0
5467_977_0_31_24_0_29429_0 <- 5380_977_0_31_24_0_29433_0
5390_977_0_31_24_0_29445_0 <- 5380_977_0_31_24_0_29433_0
7066_977_0_31_24_0_29431_0 <- 7066_977_0_31_24_0_29434_0
7083_977_0_31_24_0_29430_0 <- 7066_977_0_31_24_0_29434_0
5207_977_0_31_24_0_29440_0 <- 5166_978_0_31_24_0_29435_0
5194_977_0_31_24_0_29428_0 <- 5166_978_0_31_24_0_29435_0
5380_977_0_31_24_0_29433_0 <- 5293_977_0_31_24_0_29436_0
5303_977_0_31_24_0_29444_0 <- 5293_977_0_31_24_0_29436_0
7066_977_0_31_24_0_29434_0 <- 7053_977_0_31_24_0_29437_0 , 7026_978_0_31_24_0_29438_0
5293_977_0_31_24_0_29436_0 <- 5207_977_0_31_24_0_29440_0
5217_977_0_31_24_0_29443_0 <- 5207_977_0_31_24_0_29440_0
7026_978_0_31_24_0_29438_0 <- 5508_981_0_31_24_0_29441_0
7053_977_0_31_24_0_29437_0 <- 5508_981_0_31_24_0_29441_0
5146_978_0_31_24_0_29432_0 <- 5771_982_0_31_24_0_29442_0
5134_978_0_31_24_0_29426_0 <- 5771_982_0_31_24_0_29442_0
5771_982_0_31_24_0_29442_0 <- 5588_980_0_31_24_0_29446_0 , 5613_980_0_31_24_0_29447_0 , 5663_980_0_31_24_0_29451_0
5663_980_0_31_24_0_29451_0 <- 5604_980_0_31_24_0_29450_0
5613_980_0_31_24_0_29447_0 <- 5604_980_0_31_24_0_29450_0
5604_980_0_31_24_0_29450_0 <- 2385_987_0_31_24_0_29452_0
5588_980_0_31_24_0_29446_0 <- 2385_987_0_31_24_0_29452_0
5529_983_1_33_25_0_29453_0 <- 5500_983_1_33_25_0_29454_0 , 7213_979_1_33_25_0_29458_0
7213_979_1_33_25_0_29458_0 <- 7200_979_1_33_25_0_29460_0 , 7191_979_1_33_25_0_29461_0
7191_979_1_33_25_0_29461_0 <- 7191_979_1_33_25_0_29463_0
7200_979_1_33_25_0_29460_0 <- 7191_979_1_33_25_0_29463_0
7191_979_1_33_25_0_29463_0 <- 7178_979_1_33_25_0_29466_0 , 7169_979_1_33_25_0_29467_0
7169_979_1_33_25_0_29467_0 <- 7169_979_1_33_25_0_29468_0
7178_979_1_33_25_0_29466_0 <- 7169_979_1_33_25_0_29468_0
7169_979_1_33_25_0_29468_0 <- 7156_979_1_33_25_0_29469_0 , 7146_979_1_33_25_0_29470_0
7146_979_1_33_25_0_29470_0 <- 7146_979_1_33_25_0_29472_0
7156_979_1_33_25_0_29469_0 <- 7146_979_1_33_25_0_29472_0
7146_979_1_33_25_0_29472_0 <- 7133_979_1_33_25_0_29474_0 , 7122_979_1_33_25_0_29475_0
7122_979_1_33_25_0_29475_0 <- 7122_979_1_33_25_0_29478_0
7133_979_1_33_25_0_29474_0 <- 7122_979_1_33_25_0_29478_0
7122_979_1_33_25_0_29478_0 <- 7109_979_1_33_25_0_29480_0 , 7096_979_1_33_25_0_29481_0
5500_983_1_33_25_0_29454_0 <- 5479_981_0_33_25_0_29482_0
5508_983_1_33_25_0_29499_0 <- 5479_981_0_33_25_0_29482_0
7096_979_1_33_25_0_29481_0 <- 7096_979_1_33_25_0_29483_0
7109_979_1_33_25_0_29480_0 <- 7096_979_1_33_25_0_29483_0
5479_981_0_33_25_0_29482_0 <- 5134_980_0_33_25_0_29484_0 , 5154_980_0_33_25_0_29485_0 , 5194_979_0_33_25_0_29486_0 , 5467_979_0_33_25_0_29487_0 , 5217_979_0_33_25_0_29501_0 , 5303_979_0_33_25_0_29502_0 , 5390_979_0_33_25_0_29503_0
7096_979_1_33_25_0_29483_0 <- 7083_979_1_33_25_0_29488_0 , 7066_979_1_33_25_0_29489_0
5166_980_0_33_25_0_29493_0 <- 5146_980_0_33_25_0_29490_0
5154_980_0_33_25_0_29485_0 <- 5146_980_0_33_25_0_29490_0
5467_979_0_33_25_0_29487_0 <- 5380_979_0_33_25_0_29491_0
5390_979_0_33_25_0_29503_0 <- 5380_979_0_33_25_0_29491_0
7066_979_1_33_25_0_29489_0 <- 7066_979_1_33_25_0_29492_0
7083_979_1_33_25_0_29488_0 <- 7066_979_1_33_25_0_29492_0
5207_979_0_33_25_0_29498_0 <- 5166_980_0_33_25_0_29493_0
5194_979_0_33_25_0_29486_0 <- 5166_980_0_33_25_0_29493_0
5380_979_0_33_25_0_29491_0 <- 5293_979_0_33_25_0_29494_0
5303_979_0_33_25_0_29502_0 <- 5293_979_0_33_25_0_29494_0
7066_979_1_33_25_0_29492_0 <- 7053_979_1_33_25_0_29495_0 , 7026_980_1_33_25_0_29496_0
5293_979_0_33_25_0_29494_0 <- 5207_979_0_33_25_0_29498_0
5217_979_0_33_25_0_29501_0 <- 5207_979_0_33_25_0_29498_0
7026_980_1_33_25_0_29496_0 <- 5508_983_1_33_25_0_29499_0
7053_979_1_33_25_0_29495_0 <- 5508_983_1_33_25_0_29499_0
5146_980_0_33_25_0_29490_0 <- 5771_984_0_33_25_0_29500_0
5134_980_0_33_25_0_29484_0 <- 5771_984_0_33_25_0_29500_0
5771_984_0_33_25_0_29500_0 <- 5588_982_0_33_25_0_29504_0 , 5613_982_0_33_25_0_29505_0 , 5663_982_0_33_25_0_29509_0
5663_982_0_33_25_0_29509_0 <- 5604_982_0_33_25_0_29508_0
5613_982_0_33_25_0_29505_0 <- 5604_982_0_33_25_0_29508_0
5604_982_0_33_25_0_29508_0 <- 2385_989_0_33_25_0_29510_0
5588_982_0_33_25_0_29504_0 <- 2385_989_0_33_25_0_29510_0
5529_983_1_35_26_0_29511_0 <- 5500_983_1_35_26_0_29512_0 , 7213_979_1_35_26_0_29516_0
7213_979_1_35_26_0_29516_0 <- 7200_979_1_35_26_0_29518_0 , 7191_979_1_35_26_0_29519_0
7191_979_1_35_26_0_29519_0 <- 7191_979_1_35_26_0_29521_0
7200_979_1_35_26_0_29518_0 <- 7191_979_1_35_26_0_29521_0
7191_979_1_35_26_0_29521_0 <- 7178_979_1_35_26_0_29524_0 , 7169_979_1_35_26_0_29525_0
7169_979_1_35_26_0_29525_0 <- 7169_979_1_35_26_0_29526_0
7178_979_1_35_26_0_29524_0 <- 7169_979_1_35_26_0_29526_0
7169_979_1_35_26_0_29526_0 <- 7156_979_1_35_26_0_29527_0 , 7146_979_1_35_26_0_29528_0
7146_979_1_35_26_0_29528_0 <- 7146_979_1_35_26_0_29530_0
7156_979_1_35_26_0_29527_0 <- 7146_979_1_35_26_0_29530_0
7146_979_1_35_26_0_29530_0 <- 7133_979_1_35_26_0_29532_0 , 7122_979_1_35_26_0_29533_0
7122_979_1_35_26_0_29533_0 <- 7122_979_1_35_26_0_29536_0
7133_979_1_35_26_0_29532_0 <- 7122_979_1_35_26_0_29536_0
7122_979_1_35_26_0_29536_0 <- 7109_979_1_35_26_0_29538_0 , 7096_979_1_35_26_0_29539_0
5500_983_1_35_26_0_29512_0 <- 5479_981_0_35_26_0_29540_0
5508_983_1_35_26_0_29557_0 <- 5479_981_0_35_26_0_29540_0
7096_979_1_35_26_0_29539_0 <- 7096_979_1_35_26_0_29541_0
7109_979_1_35_26_0_29538_0 <- 7096_979_1_35_26_0_29541_0
5479_981_0_35_26_0_29540_0 <- 5134_980_0_35_26_0_29542_0 , 5154_980_0_35_26_0_29543_0 , 5194_979_0_35_26_0_29544_0 , 5467_979_0_35_26_0_29545_0 , 5217_979_0_35_26_0_29559_0 , 5303_979_0_35_26_0_29560_0 , 5390_979_0_35_26_0_29561_0
7096_979_1_35_26_0_29541_0 <- 7083_979_1_35_26_0_29546_0 , 7066_979_1_35_26_0_29547_0
5166_980_0_35_26_0_29551_0 <- 5146_980_0_35_26_0_29548_0
5154_980_0_35_26_0_29543_0 <- 5146_980_0_35_26_0_29548_0
5467_979_0_35_26_0_29545_0 <- 5380_979_0_35_26_0_29549_0
5390_979_0_35_26_0_29561_0 <- 5380_979_0_35_26_0_29549_0
7066_979_1_35_26_0_29547_0 <- 7066_979_1_35_26_0_29550_0
7083_979_1_35_26_0_29546_0 <- 7066_979_1_35_26_0_29550_0
5207_979_0_35_26_0_29556_0 <- 5166_980_0_35_26_0_29551_0
5194_979_0_35_26_0_29544_0 <- 5166_980_0_35_26_0_29551_0
5380_979_0_35_26_0_29549_0 <- 5293_979_0_35_26_0_29552_0
5303_979_0_35_26_0_29560_0 <- 5293_979_0_35_26_0_29552_0
7066_979_1_35_26_0_29550_0 <- 7053_979_1_35_26_0_29553_0 , 7026_980_1_35_26_0_29554_0
5293_979_0_35_26_0_29552_0 <- 5207_979_0_35_26_0_29556_0
5217_979_0_35_26_0_29559_0 <- 5207_979_0_35_26_0_29556_0
7026_980_1_35_26_0_29554_0 <- 5508_983_1_35_26_0_29557_0
7053_979_1_35_26_0_29553_0 <- 5508_983_1_35_26_0_29557_0
5146_980_0_35_26_0_29548_0 <- 5771_984_0_35_26_0_29558_0
5134_980_0_35_26_0_29542_0 <- 5771_984_0_35_26_0_29558_0
5771_984_0_35_26_0_29558_0 <- 5588_982_0_35_26_0_29562_0 , 5613_982_0_35_26_0_29563_0 , 5663_982_0_35_26_0_29567_0
5663_982_0_35_26_0_29567_0 <- 5604_982_0_35_26_0_29566_0
5613_982_0_35_26_0_29563_0 <- 5604_982_0_35_26_0_29566_0
5604_982_0_35_26_0_29566_0 <- 2385_989_0_35_26_0_29568_0
5588_982_0_35_26_0_29562_0 <- 2385_989_0_35_26_0_29568_0
33212_985_0_37_14_0_29569_0 <- 32954_985_0_37_14_0_29570_0 , 33210_984_0_37_14_0_29571_0
33120_984_0_37_14_0_29574_0 <- 19968_975_0_37_14_0_29573_0
33210_984_0_37_14_0_29571_0 <- 19968_975_0_37_14_0_29573_0 , 33120_984_0_37_14_0_29574_0
32954_985_0_37_14_0_29570_0 <- 32922_985_0_37_14_0_29575_0
32958_985_0_37_14_0_29626_0 <- 32922_985_0_37_14_0_29575_0
19968_975_0_37_14_0_29573_0 <- 19828_971_0_37_14_0_29576_0 , 19958_972_0_37_14_0_29577_0
19828_971_0_37_14_0_29576_0 <- 19791_971_0_37_14_0_29578_0 , 19804_971_0_37_14_0_29598_0
19958_972_0_37_14_0_29577_0 <- 19843_972_0_37_14_0_29579_0 , 19921_971_0_37_14_0_29602_0
19843_972_0_37_14_0_29579_0 <- 19843_972_0_37_14_0_29581_0
19852_972_0_37_14_0_29610_0 <- 19843_972_0_37_14_0_29581_0
19804_971_0_37_14_0_29598_0 <- 19782_970_0_37_14_0_29583_0
19791_971_0_37_14_0_29578_0 <- 19782_970_0_37_14_0_29583_0
19782_970_0_37_14_0_29583_0 <- 19758_970_0_37_14_0_29587_0 , 19710_970_0_37_14_0_29588_0
19758_970_0_37_14_0_29587_0 <- 19686_972_0_37_14_0_29599_0
19710_970_0_37_14_0_29588_0 <- 19686_972_0_37_14_0_29599_0
19686_972_0_37_14_0_29599_0 <- 25055_967_0_37_14_0_29603_0
19843_972_0_37_14_0_29581_0 <- 25055_967_0_37_14_0_29603_0
19921_971_0_37_14_0_29602_0 <- 19897_971_0_37_14_0_29604_0 , 19852_972_0_37_14_0_29605_0
25055_967_0_37_14_0_29603_0 <- 24710_966_0_37_14_0_29606_0 , 24730_966_0_37_14_0_29607_0 , 24770_965_0_37_14_0_29608_0 , 25043_965_0_37_14_0_29609_0 , 24793_965_0_37_14_0_29618_0 , 24879_965_0_37_14_0_29619_0 , 24966_965_0_37_14_0_29620_0
19897_971_0_37_14_0_29604_0 <- 19852_972_0_37_14_0_29610_0
19852_972_0_37_14_0_29605_0 <- 19852_972_0_37_14_0_29610_0
24742_966_0_37_14_0_29613_0 <- 24722_966_0_37_14_0_29611_0
24730_966_0_37_14_0_29607_0 <- 24722_966_0_37_14_0_29611_0
25043_965_0_37_14_0_29609_0 <- 24956_965_0_37_14_0_29612_0
24966_965_0_37_14_0_29620_0 <- 24956_965_0_37_14_0_29612_0
24783_965_0_37_14_0_29616_0 <- 24742_966_0_37_14_0_29613_0
24770_965_0_37_14_0_29608_0 <- 24742_966_0_37_14_0_29613_0
24956_965_0_37_14_0_29612_0 <- 24869_965_0_37_14_0_29614_0
24879_965_0_37_14_0_29619_0 <- 24869_965_0_37_14_0_29614_0
24869_965_0_37_14_0_29614_0 <- 24783_965_0_37_14_0_29616_0
24793_965_0_37_14_0_29618_0 <- 24783_965_0_37_14_0_29616_0
24722_966_0_37_14_0_29611_0 <- 32958_985_0_37_14_0_29626_0
24710_966_0_37_14_0_29606_0 <- 32958_985_0_37_14_0_29626_0
33212_985_1_39_14_0_29627_0 <- 32954_985_1_39_14_0_29628_0 , 33210_984_1_39_14_0_29629_0
33120_984_1_39_14_0_29632_0 <- 19968_975_1_39_14_0_29631_0
33210_984_1_39_14_0_29629_0 <- 19968_975_1_39_14_0_29631_0 , 33120_984_1_39_14_0_29632_0
32954_985_1_39_14_0_29628_0 <- 32922_985_1_39_14_0_29633_0
32958_985_1_39_14_0_29684_0 <- 32922_985_1_39_14_0_29633_0
19968_975_1_39_14_0_29631_0 <- 19828_971_1_39_14_0_29634_0 , 19958_972_1_39_14_0_29635_0
19828_971_1_39_14_0_29634_0 <- 19791_971_1_39_14_0_29636_0 , 19804_971_1_39_14_0_29656_0
19958_972_1_39_14_0_29635_0 <- 19843_972_1_39_14_0_29637_0 , 19921_971_1_39_14_0_29660_0
19843_972_1_39_14_0_29637_0 <- 19843_972_1_39_14_0_29639_0
19852_972_1_39_14_0_29668_0 <- 19843_972_1_39_14_0_29639_0
19804_971_1_39_14_0_29656_0 <- 19782_970_1_39_14_0_29641_0
19791_971_1_39_14_0_29636_0 <- 19782_970_1_39_14_0_29641_0
19782_970_1_39_14_0_29641_0 <- 19758_970_1_39_14_0_29645_0 , 19710_970_1_39_14_0_29646_0
19758_970_1_39_14_0_29645_0 <- 19686_972_1_39_14_0_29657_0
19710_970_1_39_14_0_29646_0 <- 19686_972_1_39_14_0_29657_0
19686_972_1_39_14_0_29657_0 <- 25055_967_1_39_14_0_29661_0
19843_972_1_39_14_0_29639_0 <- 25055_967_1_39_14_0_29661_0
19921_971_1_39_14_0_29660_0 <- 19897_971_1_39_14_0_29662_0 , 19852_972_1_39_14_0_29663_0
25055_967_1_39_14_0_29661_0 <- 24710_966_1_39_14_0_29664_0 , 24730_966_1_39_14_0_29665_0 , 24770_965_1_39_14_0_29666_0 , 25043_965_1_39_14_0_29667_0 , 24793_965_1_39_14_0_29676_0 , 24879_965_1_39_14_0_29677_0 , 24966_965_1_39_14_0_29678_0
19897_971_1_39_14_0_29662_0 <- 19852_972_1_39_14_0_29668_0
19852_972_1_39_14_0_29663_0 <- 19852_972_1_39_14_0_29668_0
24742_966_1_39_14_0_29671_0 <- 24722_966_1_39_14_0_29669_0
24730_966_1_39_14_0_29665_0 <- 24722_966_1_39_14_0_29669_0
25043_965_1_39_14_0_29667_0 <- 24956_965_1_39_14_0_29670_0
24966_965_1_39_14_0_29678_0 <- 24956_965_1_39_14_0_29670_0
24783_965_1_39_14_0_29674_0 <- 24742_966_1_39_14_0_29671_0
24770_965_1_39_14_0_29666_0 <- 24742_966_1_39_14_0_29671_0
24956_965_1_39_14_0_29670_0 <- 24869_965_1_39_14_0_29672_0
24879_965_1_39_14_0_29677_0 <- 24869_965_1_39_14_0_29672_0
24869_965_1_39_14_0_29672_0 <- 24783_965_1_39_14_0_29674_0
24793_965_1_39_14_0_29676_0 <- 24783_965_1_39_14_0_29674_0
24722_966_1_39_14_0_29669_0 <- 32958_985_1_39_14_0_29684_0
24710_966_1_39_14_0_29664_0 <- 32958_985_1_39_14_0_29684_0
15528_1001_0_41_14_0_29685_0 <- 15524_1001_0_41_14_0_29686_0 , 15505_998_0_41_14_0_29687_0
15524_1001_0_41_14_0_29686_0 <- 18748_992_0_41_14_0_29692_0
15505_998_0_41_14_0_29687_0 <- 18748_992_0_41_14_0_29692_0
18748_992_0_41_14_0_29692_0 <- 18716_990_0_41_14_0_29693_0 , 25055_984_0_41_14_0_29694_0
25055_984_0_41_14_0_29694_0 <- 24710_983_0_41_14_0_29696_0 , 24730_983_0_41_14_0_29697_0 , 24770_982_0_41_14_0_29698_0 , 25043_982_0_41_14_0_29699_0 , 24793_982_0_41_14_0_29721_0 , 24879_982_0_41_14_0_29722_0 , 24966_982_0_41_14_0_29723_0
18716_990_0_41_14_0_29693_0 <- 24214_986_0_41_14_0_29700_0
18726_990_0_41_14_0_29720_0 <- 24214_986_0_41_14_0_29700_0
24742_983_0_41_14_0_29710_0 <- 24722_983_0_41_14_0_29701_0
24730_983_0_41_14_0_29697_0 <- 24722_983_0_41_14_0_29701_0
25043_982_0_41_14_0_29699_0 <- 24956_982_0_41_14_0_29702_0
24966_982_0_41_14_0_29723_0 <- 24956_982_0_41_14_0_29702_0
24214_986_0_41_14_0_29700_0 <- 23974_986_0_41_14_0_29703_0 , 23997_986_0_41_14_0_29704_0 , 24023_986_0_41_14_0_29705_0 , 24049_986_0_41_14_0_29706_0 , 24078_986_0_41_14_0_29707_0 , 24107_986_0_41_14_0_29708_0 , 24126_986_0_41_14_0_29718_0
24783_982_0_41_14_0_29719_0 <- 24742_983_0_41_14_0_29710_0
24770_982_0_41_14_0_29698_0 <- 24742_983_0_41_14_0_29710_0
24956_982_0_41_14_0_29702_0 <- 24869_982_0_41_14_0_29711_0
24879_982_0_41_14_0_29722_0 <- 24869_982_0_41_14_0_29711_0
23997_986_0_41_14_0_29704_0 <- 23987_986_0_41_14_0_29713_0
24013_986_0_41_14_0_29714_0 <- 23987_986_0_41_14_0_29713_0
24023_986_0_41_14_0_29705_0 <- 24013_986_0_41_14_0_29714_0
24039_986_0_41_14_0_29715_0 <- 24013_986_0_41_14_0_29714_0
24049_986_0_41_14_0_29706_0 <- 24039_986_0_41_14_0_29715_0
24068_986_0_41_14_0_29716_0 <- 24039_986_0_41_14_0_29715_0
24078_986_0_41_14_0_29707_0 <- 24068_986_0_41_14_0_29716_0
24097_986_0_41_14_0_29717_0 <- 24068_986_0_41_14_0_29716_0
24107_986_0_41_14_0_29708_0 <- 24097_986_0_41_14_0_29717_0
24126_986_0_41_14_0_29718_0 <- 24097_986_0_41_14_0_29717_0
24869_982_0_41_14_0_29711_0 <- 24783_982_0_41_14_0_29719_0
24793_982_0_41_14_0_29721_0 <- 24783_982_0_41_14_0_29719_0
24722_983_0_41_14_0_29701_0 <- 18726_990_0_41_14_0_29720_0
24710_983_0_41_14_0_29696_0 <- 18726_990_0_41_14_0_29720_0
23974_986_0_41_14_0_29703_0 <- 15254_1001_0_41_14_0_29731_0
23987_986_0_41_14_0_29713_0 <- 15254_1001_0_41_14_0_29731_0
32398_987_0_43_14_0_29732_0 <- 32286_987_0_43_14_0_29733_0 , 33468_980_0_43_14_0_29741_0
32286_987_0_43_14_0_29733_0 <- 32254_987_0_43_14_0_29735_0
32290_987_0_43_14_0_29762_0 <- 32254_987_0_43_14_0_29735_0
33468_980_0_43_14_0_29741_0 <- 35398_975_0_43_14_0_29743_0 , 33420_979_0_43_14_0_29744_0
33447_980_0_43_14_0_29753_0 <- 33420_979_0_43_14_0_29744_0
33420_979_0_43_14_0_29744_0 <- 33401_979_0_43_14_0_29745_0 , 33355_980_0_43_14_0_29746_0
35343_975_0_105_14_0_30003_0 <- 35327_974_0_43_14_0_29747_0
35398_975_0_43_14_0_29743_0 <- 35327_974_0_43_14_0_29747_0 , 35343_975_0_105_14_0_30003_0
33401_979_0_43_14_0_29745_0 <- 33355_980_0_43_14_0_29748_0
33355_980_0_43_14_0_29746_0 <- 33355_980_0_43_14_0_29748_0
35327_974_0_43_14_0_29747_0 <- 35325_973_0_43_14_0_29750_0 , 33447_980_0_43_14_0_29753_0
33341_980_0_43_14_0_29756_0 <- 18845_976_0_43_14_0_29751_0
33355_980_0_43_14_0_29748_0 <- 18845_976_0_43_14_0_29751_0 , 33341_980_0_43_14_0_29756_0
35296_974_0_43_14_0_29758_0 <- 33447_980_0_43_14_0_29753_0
18845_976_0_43_14_0_29751_0 <- 18839_976_0_43_14_0_29754_0 , 18825_978_0_43_14_0_29755_0
35308_972_0_113_14_0_30009_0 <- 35296_974_0_43_14_0_29758_0
35325_973_0_43_14_0_29750_0 <- 35296_974_0_43_14_0_29758_0 , 35308_972_0_113_14_0_30009_0
18839_976_0_43_14_0_29754_0 <- 32290_987_0_43_14_0_29762_0
18825_978_0_43_14_0_29755_0 <- 32290_987_0_43_14_0_29762_0
32398_987_1_45_14_0_29763_0 <- 32286_987_1_45_14_0_29764_0 , 33468_980_1_45_14_0_29772_0
32286_987_1_45_14_0_29764_0 <- 32254_987_1_45_14_0_29766_0
32290_987_1_45_14_0_29793_0 <- 32254_987_1_45_14_0_29766_0
33468_980_1_45_14_0_29772_0 <- 35398_975_1_45_14_0_29774_0 , 33420_979_1_45_14_0_29775_0
33447_980_1_45_14_0_29784_0 <- 33420_979_1_45_14_0_29775_0
33420_979_1_45_14_0_29775_0 <- 33401_979_1_45_14_0_29776_0 , 33355_980_1_45_14_0_29777_0
35343_975_1_107_14_0_30006_0 <- 35327_974_1_45_14_0_29778_0
35398_975_1_45_14_0_29774_0 <- 35327_974_1_45_14_0_29778_0 , 35343_975_1_107_14_0_30006_0
33401_979_1_45_14_0_29776_0 <- 33355_980_1_45_14_0_29779_0
33355_980_1_45_14_0_29777_0 <- 33355_980_1_45_14_0_29779_0
35327_974_1_45_14_0_29778_0 <- 35325_973_1_45_14_0_29781_0 , 33447_980_1_45_14_0_29784_0
33341_980_1_45_14_0_29787_0 <- 18845_976_1_45_14_0_29782_0
33355_980_1_45_14_0_29779_0 <- 18845_976_1_45_14_0_29782_0 , 33341_980_1_45_14_0_29787_0
35296_974_1_45_14_0_29789_0 <- 33447_980_1_45_14_0_29784_0
18845_976_1_45_14_0_29782_0 <- 18839_976_1_45_14_0_29785_0 , 18825_978_1_45_14_0_29786_0
35308_972_1_119_14_0_30012_0 <- 35296_974_1_45_14_0_29789_0
35325_973_1_45_14_0_29781_0 <- 35296_974_1_45_14_0_29789_0 , 35308_972_1_119_14_0_30012_0
18839_976_1_45_14_0_29785_0 <- 32290_987_1_45_14_0_29793_0
18825_978_1_45_14_0_29786_0 <- 32290_987_1_45_14_0_29793_0
9698_961_1_9_21_0_27817_0 <- 9689_961_1_47_21_0_29795_0
9712_961_1_47_21_0_29794_0 <- 9689_961_1_47_21_0_29795_0
9675_961_1_9_21_0_27816_0 <- 9636_962_1_47_21_0_29797_0
9689_961_1_47_21_0_29795_0 <- 9636_962_1_47_21_0_29797_0
9698_966_1_5_21_0_26516_0 <- 9689_966_1_49_21_0_29799_0
9712_966_1_49_21_0_29798_0 <- 9689_966_1_49_21_0_29799_0
9675_966_1_5_21_0_26515_0 <- 9636_967_1_49_21_0_29801_0
9689_966_1_49_21_0_29799_0 <- 9636_967_1_49_21_0_29801_0
9698_961_1_11_22_0_28380_0 <- 9689_961_1_51_22_0_29803_0
9712_961_1_51_22_0_29802_0 <- 9689_961_1_51_22_0_29803_0
9675_961_1_11_22_0_28379_0 <- 9636_962_1_51_22_0_29805_0
9689_961_1_51_22_0_29803_0 <- 9636_962_1_51_22_0_29805_0
9698_966_1_7_22_0_27045_0 <- 9689_966_1_53_22_0_29807_0
9712_966_1_53_22_0_29806_0 <- 9689_966_1_53_22_0_29807_0
9675_966_1_7_22_0_27044_0 <- 9636_967_1_53_22_0_29809_0
9689_966_1_53_22_0_29807_0 <- 9636_967_1_53_22_0_29809_0
4233_990_1_13_23_0_28701_0 <- 4214_990_1_55_23_0_29814_0
4241_990_1_55_23_0_29810_0 <- 4214_990_1_55_23_0_29814_0
3873_990_1_13_23_0_28721_0 <- 3855_990_1_55_23_0_29818_0
4214_990_1_55_23_0_29814_0 <- 3855_990_1_55_23_0_29818_0
3659_990_1_13_23_0_28713_0 <- 3640_990_1_55_23_0_29822_0
3855_990_1_55_23_0_29818_0 <- 3640_990_1_55_23_0_29822_0
3524_990_1_13_23_0_28698_0 <- 3488_991_1_55_23_0_29826_0
3640_990_1_55_23_0_29822_0 <- 3488_991_1_55_23_0_29826_0
4233_990_1_15_24_0_28785_0 <- 4214_990_1_57_24_0_29831_0
4241_990_1_57_24_0_29827_0 <- 4214_990_1_57_24_0_29831_0
3873_990_1_15_24_0_28805_0 <- 3855_990_1_57_24_0_29835_0
4214_990_1_57_24_0_29831_0 <- 3855_990_1_57_24_0_29835_0
3659_990_1_15_24_0_28797_0 <- 3640_990_1_57_24_0_29839_0
3855_990_1_57_24_0_29835_0 <- 3640_990_1_57_24_0_29839_0
3524_990_1_15_24_0_28782_0 <- 3488_991_1_57_24_0_29843_0
3640_990_1_57_24_0_29839_0 <- 3488_991_1_57_24_0_29843_0
4233_992_0_17_25_0_28869_0 <- 4214_992_0_59_25_0_29848_0
4241_992_0_59_25_0_29844_0 <- 4214_992_0_59_25_0_29848_0
3873_992_0_17_25_0_28889_0 <- 3855_992_0_59_25_0_29852_0
4214_992_0_59_25_0_29848_0 <- 3855_992_0_59_25_0_29852_0
3659_992_0_17_25_0_28881_0 <- 3640_992_0_59_25_0_29856_0
3855_992_0_59_25_0_29852_0 <- 3640_992_0_59_25_0_29856_0
3524_992_0_17_25_0_28866_0 <- 3488_993_0_59_25_0_29860_0
3640_992_0_59_25_0_29856_0 <- 3488_993_0_59_25_0_29860_0
4233_992_0_19_26_0_28953_0 <- 4214_992_0_61_26_0_29865_0
4241_992_0_61_26_0_29861_0 <- 4214_992_0_61_26_0_29865_0
3873_992_0_19_26_0_28973_0 <- 3855_992_0_61_26_0_29869_0
4214_992_0_61_26_0_29865_0 <- 3855_992_0_61_26_0_29869_0
3659_992_0_19_26_0_28965_0 <- 3640_992_0_61_26_0_29873_0
3855_992_0_61_26_0_29869_0 <- 3640_992_0_61_26_0_29873_0
3524_992_0_19_26_0_28950_0 <- 3488_993_0_61_26_0_29877_0
3640_992_0_61_26_0_29873_0 <- 3488_993_0_61_26_0_29877_0
28165_992_1_63_14_0_29879_0 <- 28036_992_1_63_14_0_29880_0 , 28044_992_1_63_14_0_29888_0
28036_992_1_63_14_0_29880_0 <- 29192_999_0_63_14_0_29883_0
28044_992_1_63_14_0_29888_0 <- 29192_999_0_63_14_0_29883_0
33904_970_0_65_14_0_29889_0 <- 33843_969_0_65_14_0_29890_0 , 33848_969_0_65_14_0_29895_0
33843_969_0_65_14_0_29890_0 <- 33781_970_0_65_14_0_29896_0
33848_969_0_65_14_0_29895_0 <- 33781_970_0_65_14_0_29896_0
33904_970_1_67_14_0_29897_0 <- 33843_969_1_67_14_0_29898_0 , 33848_969_1_67_14_0_29903_0
33843_969_1_67_14_0_29898_0 <- 33781_970_1_67_14_0_29904_0
33848_969_1_67_14_0_29903_0 <- 33781_970_1_67_14_0_29904_0
3073_989_0_69_25_0_29905_0 <- 3012_988_0_69_25_0_29906_0 , 3017_988_0_69_25_0_29911_0
3012_988_0_69_25_0_29906_0 <- 2950_989_0_69_25_0_29912_0
3017_988_0_69_25_0_29911_0 <- 2950_989_0_69_25_0_29912_0
3073_989_0_71_26_0_29913_0 <- 3012_988_0_71_26_0_29914_0 , 3017_988_0_71_26_0_29919_0
3012_988_0_71_26_0_29914_0 <- 2950_989_0_71_26_0_29920_0
3017_988_0_71_26_0_29919_0 <- 2950_989_0_71_26_0_29920_0
19414_975_0_97_14_0_29985_0 <- 19347_975_0_97_14_0_29986_0 , 19261_975_0_97_14_0_29987_0
19347_975_0_97_14_0_29986_0 <- 19261_975_0_97_14_0_29988_0
19261_975_0_97_14_0_29987_0 <- 19261_975_0_97_14_0_29988_0
19414_975_1_99_14_0_29989_0 <- 19347_975_1_99_14_0_29990_0 , 19261_975_1_99_14_0_29991_0
19347_975_1_99_14_0_29990_0 <- 19261_975_1_99_14_0_29992_0
19261_975_1_99_14_0_29991_0 <- 19261_975_1_99_14_0_29992_0
3338_994_0_101_25_0_29993_0 <- 3271_994_0_101_25_0_29994_0 , 3185_994_0_101_25_0_29995_0
3271_994_0_101_25_0_29994_0 <- 3185_994_0_101_25_0_29996_0
3185_994_0_101_25_0_29995_0 <- 3185_994_0_101_25_0_29996_0
3338_994_0_103_26_0_29997_0 <- 3271_994_0_103_26_0_29998_0 , 3185_994_0_103_26_0_29999_0
3271_994_0_103_26_0_29998_0 <- 3185_994_0_103_26_0_30000_0
3185_994_0_103_26_0_29999_0 <- 3185_994_0_103_26_0_30000_0
0_0_0_0_0_0_0_0 <-